Actually update the repository

This commit is contained in:
Manuel Thalmann 2024-06-20 16:57:15 +02:00
parent edd5060e71
commit efc326bb21

View file

@ -1,11 +1,12 @@
pushd "${BASH_SOURCE%/*}" > /dev/null;
patchFile="$(realpath -m valhalla.patch)";
. ./template-path.sh;
cp -r "$(templatePath)"/* ..
if [ -f "$patchFile" ];
then
pushd .. > /dev/null;
git apply "$patchFile";
git apply --directory=archiso "$patchFile";
popd > /dev/null;
fi;