mirror of
https://github.com/team2059/Dent
synced 2024-12-18 20:52:29 -05:00
16 lines
380 B
Bash
16 lines
380 B
Bash
function mb(){
|
|
vagrant ssh -c "cd /vagrant/src;make clean 2>&1 >/dev/null;make"
|
|
}
|
|
function mc(){
|
|
vagrant ssh -c "cd /vagrant/src;make clean 2>&1 >/dev/null"
|
|
}
|
|
function mk(){
|
|
vagrant ssh -c "cd /vagrant/src;make"
|
|
}
|
|
function me(){
|
|
vagrant ssh -c "cd /vagrant/src;make deploy"
|
|
}
|
|
function ma(){
|
|
vagrant ssh -c "cd /vagrant/src;make clean 2>&1 >/dev/null;make;make deploy"
|
|
}
|