commit 917f457cff61c5d9833617d900736fba62c7a4eb parent 04c06f5141bb4b1f0b9c58d29487ed3dff9bfb23 Author: Stefan Koch <programming@stefan-koch.name> Date: Sat, 14 Sep 2019 20:26:21 +0200 add a post-update hook file for git Diffstat:
| A | hooks/post-update | | | 12 | ++++++++++++ |
1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/hooks/post-update b/hooks/post-update @@ -0,0 +1,12 @@ +#!/bin/bash +# Execute Cinderella continuous integration with the current user. +# Sources the user's .bash_profile. This is e.g. required for rust toolchains +# that were installed with rustup. + +echo "Executing Cinderella" +user=$(whoami) +echo "Current user: $user" + +source /home/$user/.bash_profile + +nohup /home/brati/cinderella /home/brati/git/cinderella.git &>/dev/null &