mirror of
https://github.com/team2059/Dent
synced 2024-12-18 20:52:29 -05:00
10 lines
972 B
Bash
10 lines
972 B
Bash
|
function mb(){
|
||
|
ssh vagrant@127.0.0.1 -p 2222 -o Compression=yes -o DSAAuthentication=yes -o LogLevel=FATAL -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o IdentitiesOnly=yes -i /home/stonewareslord/git/frc-cpp-vagrantfile/.vagrant/machines/default/virtualbox/private_key "cd /vagrant/src;make clean 2>&1 >/dev/null;make"
|
||
|
}
|
||
|
function mc(){
|
||
|
ssh vagrant@127.0.0.1 -p 2222 -o Compression=yes -o DSAAuthentication=yes -o LogLevel=FATAL -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o IdentitiesOnly=yes -i /home/stonewareslord/git/frc-cpp-vagrantfile/.vagrant/machines/default/virtualbox/private_key "cd /vagrant/src;make clean"
|
||
|
}
|
||
|
function mk(){
|
||
|
ssh vagrant@127.0.0.1 -p 2222 -o Compression=yes -o DSAAuthentication=yes -o LogLevel=FATAL -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o IdentitiesOnly=yes -i /home/stonewareslord/git/frc-cpp-vagrantfile/.vagrant/machines/default/virtualbox/private_key "cd /vagrant/src;make"
|
||
|
}
|