Skip to content
Snippets Groups Projects
Commit 77d4de53 authored by hahn's avatar hahn
Browse files

onbuild: remove unneeded dirs

parent 97985ece
No related branches found
No related tags found
1 merge request!195534 add docker
......@@ -7,14 +7,20 @@
# - Projekt-Configs anpassen
#
# 2014-05-07 axel.hahn@iml.unibe.ch
# 2022-07-20 axel.hahn@iml.unibe.ch remove unneeded dirs, e.g. docker
# ======================================================================
dirs2remove="data docker"
echo ONDEPLOY fuer CI Deployment GUI
echo
cd `dirname $0`
cd $( dirname $0 )
cd ..
echo "----------> setze x-recht auf gitsshwrapper "
echo "----------> Set X permissions on gitsshwrapper "
ls -l shellscripts/gitsshwrapper.sh && chmod 755 shellscripts/gitsshwrapper.sh && ls -l shellscripts/gitsshwrapper.sh
echo "----------> Reove unneeded dirs: $dirs2remove"
rm -rf ${dirs2remove}
echo "----------> done."
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment