diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-23 20:17:01 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-24 10:10:33 +0200 |
commit | 044089fe8abbf54e907848f2da779b323c3b6b6c (patch) | |
tree | 233de0f8bc9a5b31689807184346c98c643343d9 /etc/init.d/jenkins-workspace | |
parent | 6cb26e1d1434839dbad8cadfd90f845020389c3a (diff) | |
download | jenkins.debian.net-044089fe8abbf54e907848f2da779b323c3b6b6c.tar.xz |
remove useless init script
Diffstat (limited to 'etc/init.d/jenkins-workspace')
-rwxr-xr-x | etc/init.d/jenkins-workspace | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/etc/init.d/jenkins-workspace b/etc/init.d/jenkins-workspace deleted file mode 100755 index 128d828c..00000000 --- a/etc/init.d/jenkins-workspace +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -### BEGIN INIT INFO -# Provides: jenkins-workspace -# Required-Start: $remote_fs -# Required-Stop: $remote_fs -# Default-Start: 2 3 4 5 -# Default-Stop: -# X-Start-Before: jenkins -# Short-Description: Create jenkins workspace directory structure -### END INIT INFO - -WORKSPACE=/srv/workspace - -case "$1" in - start) - echo "Creating jenkins workspace" - mkdir "$WORKSPACE/chroots" - chown jenkins:jenkins "$WORKSPACE/chroots" - mkdir "$WORKSPACE/pbuilder" - echo done - ;; -esac |