dev #1

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

View File

@@ -1,11 +1,12 @@
#!/bin/bash #!/bin/bash
#Before running this script, make sure that you added an alias to your shell config file (~/.bashrc, ~/.zshrc, etc.)
#alias trigger_git='touch /tmp/please_update'
#Then run source ~/.zshrc to load the new alias
#Variable to store the trigger file path #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 #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 "[INFO] To trigger a git commit and push, run: trigger_git"