diff options
| -rwxr-xr-x | mp.sh | 8 |
1 files changed, 4 insertions, 4 deletions
| diff --git a/mp.sh b/mp.sh index ac58d47..b82708f 100755 --- a/mp.sh +++ b/mp.sh | |||
| @@ -1,14 +1,14 @@ | |||
| 1 | #!/usr/bin/env sh | 1 | #!/usr/bin/env sh |
| 2 | set -e | 2 | set -e |
| 3 | 3 | ||
| 4 | WD="${WD:-/usr/local/mp}" | 4 | WD="${WD:-/usr/mp}" |
| 5 | PORTS="${PORTS:-/usr/local/ports/ports}" | 5 | PORTS="${PORTS:-/usr/ports/ports}" |
| 6 | PORTS_DIR="${PORTS_DIR:-/usr/local/ports}" | 6 | PORTS_DIR="${PORTS_DIR:-/usr/ports}" |
| 7 | PORTS_REPO="${PORTS_REPO:-https://codeberg.org/Druid520/ports.git}" | 7 | PORTS_REPO="${PORTS_REPO:-https://codeberg.org/Druid520/ports.git}" |
| 8 | STATUS="$WD/status" | 8 | STATUS="$WD/status" |
| 9 | INSTALLED="$WD/installed" | 9 | INSTALLED="$WD/installed" |
| 10 | EXTINSTALLED="$WD/extinstalled" | 10 | EXTINSTALLED="$WD/extinstalled" |
| 11 | CFG="/usr/local/mp/mp.conf" | 11 | CFG="$WD/mp.conf" |
| 12 | 12 | ||
| 13 | war() { | 13 | war() { |
| 14 | echo "warn: $1" >&2 | 14 | echo "warn: $1" >&2 |
