dev #1

Merged
Gabriel merged 9 commits from dev into main 2025-12-23 15:55:37 +00:00
Showing only changes of commit c675e1f1a1 - Show all commits

View File

@@ -1,7 +1,17 @@
#!/bin/bash #!/bin/bash
#Variable to store the trigger file path
TRIGGER_FILE="/tmp/please_update" TRIGGER_FILE="/tmp/please_update"
# An alias so i no longer have to type the full command
alias trigger_git="touch $TRIGGER_FILE"
#The magic itself
echo "[INFO] Watching $TRIGGER_FILE..." echo "[INFO] Watching $TRIGGER_FILE..."
echo "[INFO] To trigger a git commit and push, run: trigger_git"
echo "PLEASE make sure that you have a good .gitignore file set up to avoid committing unwanted files."
#Do not know if the runs forrever loop is the best way to do this but it works
while true; do while true; do
if [[ -f "$TRIGGER_FILE" ]]; then if [[ -f "$TRIGGER_FILE" ]]; then
rm -f "$TRIGGER_FILE" rm -f "$TRIGGER_FILE"