From 044089fe8abbf54e907848f2da779b323c3b6b6c Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 23 Oct 2014 20:17:01 +0200 Subject: remove useless init script --- etc/init.d/jenkins-workspace | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100755 etc/init.d/jenkins-workspace (limited to 'etc/init.d') 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 -- cgit v1.2.3-70-g09d2