From: Christian Heller Date: Sat, 29 Feb 2020 21:54:36 +0000 (+0100) Subject: Rename Pleroma source update script to prevent mix-ups. X-Git-Url: https://plomlompom.com/repos/%22https:/validator.w3.org/calendar?a=commitdiff_plain;h=ba8f6a77e877febdc3fa51b177ce49b6c07ac83a;p=config Rename Pleroma source update script to prevent mix-ups. --- diff --git a/buster/setup_scripts/update_pleroma.sh b/buster/setup_scripts/update_pleroma.sh deleted file mode 100644 index cf63eb8..0000000 --- a/buster/setup_scripts/update_pleroma.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -set -e -set -x - -# Heavily inspired by -su pleroma -s $SHELL -lc 'cd /opt/pleroma && git pull && mix deps.get' -service pleroma stop -su pleroma -s $SHELL -lc 'MIX_ENV=prod cd /opt/pleroma && mix ecto.migrate' -service pleroma start diff --git a/buster/setup_scripts/update_pleroma_source.sh b/buster/setup_scripts/update_pleroma_source.sh new file mode 100644 index 0000000..cf63eb8 --- /dev/null +++ b/buster/setup_scripts/update_pleroma_source.sh @@ -0,0 +1,9 @@ +#!/bin/sh +set -e +set -x + +# Heavily inspired by +su pleroma -s $SHELL -lc 'cd /opt/pleroma && git pull && mix deps.get' +service pleroma stop +su pleroma -s $SHELL -lc 'MIX_ENV=prod cd /opt/pleroma && mix ecto.migrate' +service pleroma start