blob: 13c38301267312b123d10d5b5e6eae3381a52260 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/bin/env bash
error() {
printf "\033[31;1m%s\033[m\n" "$@"
exit 1
}
default_prefix='/usr/local'
if echo "$PATH" | tr ':' '\n' | grep -qx "$HOME/.local/bin"; then
default_prefix="~/.local"
fi
printf '\033[1mChoose where to install bp (default: %s):\033[m ' "$default_prefix"
read PREFIX
if [ -z "$PREFIX" ]; then PREFIX="$default_prefix"; fi
PREFIX="${PREFIX/#\~/$HOME}"
if ! echo "$PATH" | tr ':' '\n' | grep -qx "$PREFIX/bin"; then
error "Your \$PATH does not include this prefix, so you won't be able to run tomo!" \
"Please put this in your .profile or .bashrc: export PATH=\"$PREFIX/bin:\$PATH\""
fi
if command -v doas >/dev/null; then
SUDO=doas
else
SUDO=sudo
fi
cat <<END >config.mk
PREFIX=$PREFIX
SUDO=$SUDO
END
|
