2020-03-28 17:42:27 +01:00
|
|
|
#!/bin/zsh
|
2020-03-31 20:32:16 +02:00
|
|
|
|
|
|
|
# for cleaning up the master branch of a git directory according to my suckless patch structure
|
|
|
|
# e.g. see dwm/st/etc
|
|
|
|
|
2020-03-29 11:46:32 +02:00
|
|
|
make clean && rm -f config.h && git reset --hard origin/base
|