summaryrefslogtreecommitdiff
path: root/clean
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-04-29 09:29:14 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2019-04-29 09:29:14 +0200
commit4ae71bbfbcfedeb0b376255266004b6e1ab259a7 (patch)
tree948c296086c6a98e3bbb3b50a80bbd09262626a6 /clean
parentb58740b0fa96aa46d692077f42295857148230d0 (diff)
Discontinue jessie, support buster
Diffstat (limited to 'clean')
-rwxr-xr-xclean4
1 files changed, 2 insertions, 2 deletions
diff --git a/clean b/clean
index 741202b..b23428c 100755
--- a/clean
+++ b/clean
@@ -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

Contact - Imprint