2018-12-03 17:23:00 +02:00
|
|
|
#!/usr/bin/env zsh
|
2019-01-09 12:40:15 +02:00
|
|
|
set -x
|
2018-12-03 17:23:00 +02:00
|
|
|
ST_REPO=https://git.suckless.org/st
|
|
|
|
|
ST_SRC=$PWD/st
|
|
|
|
|
ST_CFG=$PWD/config.h
|
|
|
|
|
PATCHLIST=(
|
|
|
|
|
st-boxdraw.patch
|
|
|
|
|
st-bright-bold-text.patch
|
|
|
|
|
st-disable-bold-italic-fonts.patch
|
|
|
|
|
st-disable-intensity-styles.patch
|
2018-12-04 15:15:22 +02:00
|
|
|
)
|
|
|
|
|
MAKE_OPTS=(
|
|
|
|
|
PREFIX=$HOME/.local
|
2018-12-03 17:23:00 +02:00
|
|
|
)
|
|
|
|
|
|
|
|
|
|
if [[ ! -r $ST_SRC/.git/config ]]; then
|
|
|
|
|
git clone $ST_REPO $ST_SRC
|
|
|
|
|
cd $ST_SRC
|
|
|
|
|
else
|
|
|
|
|
cd $ST_SRC
|
|
|
|
|
git reset --hard
|
|
|
|
|
git clean -fd
|
|
|
|
|
git pull
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cp $ST_CFG .
|
|
|
|
|
|
|
|
|
|
for patch in $PATCHLIST; do
|
|
|
|
|
patch -p1 -i ../$patch
|
|
|
|
|
done
|
|
|
|
|
|
2019-01-09 12:40:15 +02:00
|
|
|
make $MAKE_OPTS ${*:-install}
|
