home · contact · privacy
Rename Pleroma source update script to prevent mix-ups.
authorChristian Heller <c.heller@plomlompom.de>
Sat, 29 Feb 2020 21:54:36 +0000 (22:54 +0100)
committerChristian Heller <c.heller@plomlompom.de>
Sat, 29 Feb 2020 21:54:36 +0000 (22:54 +0100)
buster/setup_scripts/update_pleroma.sh [deleted file]
buster/setup_scripts/update_pleroma_source.sh [new file with mode: 0644]

diff --git a/buster/setup_scripts/update_pleroma.sh b/buster/setup_scripts/update_pleroma.sh
deleted file mode 100644 (file)
index cf63eb8..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-set -e
-set -x
-
-# Heavily inspired by <https://docs-develop.pleroma.social/backend/administration/updating/>
-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 (file)
index 0000000..cf63eb8
--- /dev/null
@@ -0,0 +1,9 @@
+#!/bin/sh
+set -e
+set -x
+
+# Heavily inspired by <https://docs-develop.pleroma.social/backend/administration/updating/>
+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