summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--hosts/bpi0-armhf-rb/etc/sudoers.d/jenkins1
-rw-r--r--hosts/cbxi4pro0-armhf-rb/etc/sudoers.d/jenkins1
-rw-r--r--hosts/hb0-armhf-rb/etc/sudoers.d/jenkins1
-rw-r--r--hosts/jenkins/etc/sudoers.d/jenkins1
-rw-r--r--hosts/profitbricks-build1-amd64/etc/sudoers.d/jenkins1
-rw-r--r--hosts/profitbricks-build2-amd64/etc/sudoers.d/jenkins1
-rw-r--r--hosts/wbq0-armhf-rb/etc/sudoers.d/jenkins1
7 files changed, 7 insertions, 0 deletions
diff --git a/hosts/bpi0-armhf-rb/etc/sudoers.d/jenkins b/hosts/bpi0-armhf-rb/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/bpi0-armhf-rb/etc/sudoers.d/jenkins
+++ b/hosts/bpi0-armhf-rb/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \
diff --git a/hosts/cbxi4pro0-armhf-rb/etc/sudoers.d/jenkins b/hosts/cbxi4pro0-armhf-rb/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/cbxi4pro0-armhf-rb/etc/sudoers.d/jenkins
+++ b/hosts/cbxi4pro0-armhf-rb/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \
diff --git a/hosts/hb0-armhf-rb/etc/sudoers.d/jenkins b/hosts/hb0-armhf-rb/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/hb0-armhf-rb/etc/sudoers.d/jenkins
+++ b/hosts/hb0-armhf-rb/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \
diff --git a/hosts/jenkins/etc/sudoers.d/jenkins b/hosts/jenkins/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/jenkins/etc/sudoers.d/jenkins
+++ b/hosts/jenkins/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \
diff --git a/hosts/profitbricks-build1-amd64/etc/sudoers.d/jenkins b/hosts/profitbricks-build1-amd64/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/profitbricks-build1-amd64/etc/sudoers.d/jenkins
+++ b/hosts/profitbricks-build1-amd64/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \
diff --git a/hosts/profitbricks-build2-amd64/etc/sudoers.d/jenkins b/hosts/profitbricks-build2-amd64/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/profitbricks-build2-amd64/etc/sudoers.d/jenkins
+++ b/hosts/profitbricks-build2-amd64/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \
diff --git a/hosts/wbq0-armhf-rb/etc/sudoers.d/jenkins b/hosts/wbq0-armhf-rb/etc/sudoers.d/jenkins
index e4ed15b3..1216639c 100644
--- a/hosts/wbq0-armhf-rb/etc/sudoers.d/jenkins
+++ b/hosts/wbq0-armhf-rb/etc/sudoers.d/jenkins
@@ -15,6 +15,7 @@ jenkins ALL= \
/bin/mv /chroots/* /schroots/*, \
/bin/mv /schroots/* /schroots/*, \
/bin/umount -l /chroots/*, \
+ /bin/umount -l /schroots/*, \
/bin/umount -l /media/*, \
/bin/rmdir /media/*, \
/bin/mount -o loop*, \