1
0
Fork 0

Need to patch devtools script to use Justfile

Otherwise `git detach` use the wrong Justfile…
This commit is contained in:
gardouille 2023-10-09 14:39:07 +02:00
parent aad9d97e2f
commit a7273f2d63
Signed by: gardouille
GPG Key ID: E759BAA22501AF32
2 changed files with 23 additions and 1 deletions

View File

@ -35,8 +35,18 @@ patch_justfile() {
if [ "${gh_justfile_issue_opened}" = "1" ]; then
echo "Patch Justfile to fix issue https://github.com/eza-community/eza/issues/458"
## Justfile
wget --quiet "https://git.101010.fr/gardouille/eza-docker-build/raw/branch/main/patch/Justfile.458.patch" --output-document=/tmp/Justfile.458.patch --
patch Justfile < /tmp/Justfile.458.patch
patch Justfile < /tmp/Justfile.458.patch --output=/tmp/Justfile.patched
## devtools script to be able to use Justfile after `git detach`
wget --quiet "https://git.101010.fr/gardouille/eza-docker-build/raw/branch/main/patch/devtools.deb-package.sh.458.patch" --output-document=/tmp/devtools.deb-package.sh.458.patch --
patch devtools/deb-package.sh < /tmp/devtools.deb-package.sh.458.patch
## Commit changes to avoid warning from `git detach`
git config --global user.email "ci@ci.ci"
git config --global user.name "CI me"
git commit -a -m "Fix #458 Patch Justfile and devtools script"
elif [ "${gh_justfile_issue_opened}" != "1" ]; then
echo "Justfile 458 patch section can be removed."
else

View File

@ -0,0 +1,12 @@
--- deb-package.sh 2023-10-09 11:57:23.372074759 +0200
+++ /tmp/deb-package.sh 2023-10-09 14:36:38.430804870 +0200
@@ -11,6 +11,9 @@
echo "checkout tag ${TAG}"
git checkout --quiet "${TAG}"
+echo "Use patched Justfile"
+cp /tmp/Justfile.patched Justfile
+
echo "build man pages"
just man