From 936c820c088a2f9a3f0fd77f740c8b0e5302924e Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 10 Aug 2015 14:23:25 +0200 Subject: tea with sudo, my old friend.. (fixup 13f6d47) --- update_jdn.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'update_jdn.sh') 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 ;; -- cgit v1.2.3-54-g00ecf