diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-29 09:29:14 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-29 09:29:14 +0200 |
| commit | 4ae71bbfbcfedeb0b376255266004b6e1ab259a7 (patch) | |
| tree | 948c296086c6a98e3bbb3b50a80bbd09262626a6 /clean | |
| parent | b58740b0fa96aa46d692077f42295857148230d0 (diff) | |
Discontinue jessie, support buster
Diffstat (limited to 'clean')
| -rwxr-xr-x | clean | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,14 +4,14 @@ usage() { -echo "Usage: ./clean [stretch|jessie]" +echo "Usage: ./clean [stretch|buster]" } if [ $# -gt 1 ]; then usage; exit 1; fi if [ $# -eq 1 ] then DIST=$1 - if [ $DIST != "stretch" ] && [ $DIST != "jessie" ]; then usage; exit 1; fi + if [ $DIST != "stretch" ] && [ $DIST != "buster" ]; then usage; exit 1; fi cd $DIST fi |
