diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-05 00:26:13 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-11-05 00:26:13 -0700 |
commit | b62f8d9beebf5617b08ed65dfbad0cceae5a8dd7 (patch) | |
tree | 3c229e800a8ee23e06af455b0422d52574f645cc /bin/develacc-please | |
parent | 055bc21a9ae42ba3c2cba9952837849dafb20976 (diff) | |
download | dotfiles-b62f8d9beebf5617b08ed65dfbad0cceae5a8dd7.tar.gz |
develacc-please script
Diffstat (limited to 'bin/develacc-please')
-rwxr-xr-x | bin/develacc-please | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/develacc-please b/bin/develacc-please new file mode 100755 index 00000000..e3ddb9ad --- /dev/null +++ b/bin/develacc-please @@ -0,0 +1,6 @@ +#!/bin/sh + +virsh list | grep -q "develacc.$(hostname -f) .*running" \ + || virsh start develacc.$(hostname -f) +mount | grep -q /srv/develacc \ + || mount /srv/develacc |