Skip to content
Repo "backup" of jenkins home dir
Shell
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
jobs
updates
userContent
users
workspace
.bashrc
.gitignore
README.md
clone_repos.sh
com.cloudbees.jenkins.GitHubPushTrigger.xml
config.xml
hudson.maven.MavenModuleSet.xml
hudson.model.UpdateCenter.xml
hudson.plugins.git.GitSCM.xml
hudson.plugins.git.GitTool.xml
hudson.scm.CVSSCM.xml
hudson.scm.SubversionSCM.xml
hudson.tasks.Ant.xml
hudson.tasks.Mailer.xml
hudson.tasks.Maven.xml
hudson.tasks.Shell.xml
hudson.triggers.SCMTrigger.xml
jenkins-cli.jar
nodeMonitors.xml
org.jenkinsci.main.modules.sshd.SSHD.xml

README.md

Jenkins home directory for yesod projects.

I add setup documentation here, in case I or anybody else wants to setup this server on their own. Good luck readers of the future!

Installing

Here is how I did it when moving the installation from two machines by using this repository

Cloning

I started by cloning

sudo git clone git@github.com:Tarrasch/Jenkins-home-dir.git

Permissions

Usually stuff are screwed as your git repo is owned by you, most other files by jenkins and root has created the files.

sudo chown jenkins *
sudo chown $USER .gitignore .git
sudo chown --recursive $USER .git/
sudo chown --recursive  jenkins jobs/ plugins/ updates/ userContent/ users/ workspace/

Plugins

The only needed plugin is the git plugin. You can install it directly from the local jenkins web interface. Just go to "Configure -> Plugins".

Commands to run as jenkins

Before becoming jenkins user, install a old yet native cabal if needed

sudo apt-get install cabal-install

Now become jenkins. After sudo su jenkins

git config --global user.email miffoljud@gmail.com
git config --global user.name "Arash"
./clone_repos.sh
cabal install cabal-install --cabal-lib-version=1.10.1.0 # or whatever version u use

Now make sure cabal --version responds what you expected.

Restarting the jenkins service

sudo /etc/init.d/jenkins restart

List of good to install libraries

sudo apt-get install libfcgi-dev
Something went wrong with that request. Please try again.