diff options
| author | Javier Sepulveda <javier.sepulveda@uv.es> | 2023-01-27 12:26:20 +0100 |
|---|---|---|
| committer | Javier Sepulveda <javier.sepulveda@uv.es> | 2023-01-27 12:26:20 +0100 |
| commit | e09dcfd8380306d9b88f943fb4517c2d7b89d857 (patch) | |
| tree | 57cc953c62347c9af16faafd2abccd0f38b77b8b /docker/sites-build/sh-files/invalidate.sh | |
| parent | 8d87c7015abd415f462493705a88612d7988a10c (diff) | |
| download | deployment-e09dcfd8380306d9b88f943fb4517c2d7b89d857.tar.gz deployment-e09dcfd8380306d9b88f943fb4517c2d7b89d857.tar.bz2 deployment-e09dcfd8380306d9b88f943fb4517c2d7b89d857.zip | |
Conversion format from Bash to Docker: www.git - Step 2
Diffstat (limited to 'docker/sites-build/sh-files/invalidate.sh')
| -rwxr-xr-x | docker/sites-build/sh-files/invalidate.sh | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/docker/sites-build/sh-files/invalidate.sh b/docker/sites-build/sh-files/invalidate.sh deleted file mode 100755 index bb8c22f..0000000 --- a/docker/sites-build/sh-files/invalidate.sh +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/sh - -set -eu - -cd $HOME/www -git fetch - -# First check stable. -git checkout stable -f -if git status -sb | grep behind; then - echo "invalidating www.taler.net" - rm -f $HOME/stamps/www.taler.net-stamp -fi - -# Then master branch. -git checkout master -f -if git status -sb | grep behind; then - echo "invalidating stage.taler.net" - rm -f $HOME/stamps/stage.taler.net-stamp -fi - -# Check Twister Web page. -cd $HOME/twister -git fetch -if git status -sb | grep behind; then - echo "invalidating twister.taler.net" - rm -f $HOME/stamps/twister.taler.net-stamp -fi - - -# Check Twister Web page. -cd $HOME/buywith -git fetch -if git status -sb | grep behind; then - echo "invalidating buywith.taler.net" - rm -f $HOME/stamps/buywith.taler.net-stamp -fi |