Change user in Vagrantfile

Why I have to keep doing this I have no idea. If you know, please tell!
This commit is contained in:
Benjamin Sago 2018-09-26 21:25:50 +01:00
parent 94a00fa17c
commit 70606f95ff
3 changed files with 11 additions and 10 deletions

View file

@ -6,7 +6,7 @@
echo -e "
\033[1;33mThe exa development environment!\033[0m
exa's source is available at \033[33m/vagrant\033[0m.
Binaries get built into \033[33m/home/ubuntu/target\033[0m.
Binaries get built into \033[33m/home/vagrant/target\033[0m.
\033[4mCommands\033[0m
\033[32;1mexa\033[0m to run the built version of exa

View file

@ -45,7 +45,7 @@ rm -vf "$exa_linux_binary"
cargo build --release --manifest-path "$toml_file"
cargo test --release --manifest-path "$toml_file" --lib -- --quiet
/vagrant/xtests/run.sh --release
cp /home/ubuntu/target/release/exa "$exa_linux_binary"
cp /home/vagrant/target/release/exa "$exa_linux_binary"
# Stripping the binary before distributing it removes a bunch of debugging
# symbols, saving some space.