diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-08-10 14:23:25 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-10 14:23:25 +0200 |
| commit | 936c820c088a2f9a3f0fd77f740c8b0e5302924e (patch) | |
| tree | 7f271cb03d843db59b7036119ce620c49f5d5bc1 /update_jdn.sh | |
| parent | 13f6d4793e11868d541c3f3bf217c560bbce338f (diff) | |
| download | jenkins.debian.net-936c820c088a2f9a3f0fd77f740c8b0e5302924e.tar.xz | |
tea with sudo, my old friend.. (fixup 13f6d47)
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 5ba411e6..7176df6c 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -56,13 +56,13 @@ esac case $HOSTNAME in jenkins|profitbricks-build?-amd64) if ! grep -q '^tmpfs\s\+/srv/workspace\s' /etc/fstab; then - echo "tmpfs /srv/workspace tmpfs defaults,size=${TMPFSSIZE}g 0 0" >> /etc/fstab + echo "tmpfs /srv/workspace tmpfs defaults,size=${TMPFSSIZE}g 0 0" | sudo tee -a /etc/fstab >/dev/null fi if ! mountpoint -q /srv/workspace; then if test -z "$(ls -A /srv/workspace)"; then - mount /srv/workspace + sudo mount /srv/workspace else - explain "mountpoint /srv/workspace is non-empty." + explain "WARNING: mountpoint /srv/workspace is non-empty." fi fi ;; |