diff options
author | Johannes Ranke <johannes.ranke@jrwb.de> | 2025-07-01 21:53:02 +0200 |
---|---|---|
committer | Johannes Ranke <johannes.ranke@jrwb.de> | 2025-07-01 21:53:02 +0200 |
commit | 8172d1a6c26167205011544461572a0e12f51609 (patch) | |
tree | 53189585f6608e0b88fb65d2b4c42c635b4eaf62 /clean | |
parent | ff818c6a3713e5c509ccf41b0d4b7323790b5cdc (diff) |
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,14 +4,14 @@ usage() { -echo "Usage: ./clean [bullseye|bookworm]" +echo "Usage: ./clean [bullseye|bookworm|trixie]" } if [ $# -gt 1 ]; then usage; exit 1; fi if [ $# -eq 1 ] then DIST=$1 - if [ $DIST != "bookworm" ] && [ $DIST != "bullseye" ]; then usage; exit 1; fi + if [ $DIST != "bookworm" ] && [ $DIST != "bullseye" ] && [ $DIST != "trixie" ]; then usage; exit 1; fi cd $DIST fi |