diff options
| author | Johannes Ranke <johannes.ranke@jrwb.de> | 2025-11-01 16:12:31 +0100 |
|---|---|---|
| committer | Johannes Ranke <johannes.ranke@jrwb.de> | 2025-11-01 16:12:31 +0100 |
| commit | eddf440b735f1c4488e5e61310bd10e35da50c1a (patch) | |
| tree | 0dccf13c7d0ef01e90e691b4cba56389c44b579d /clean | |
| parent | 8172d1a6c26167205011544461572a0e12f51609 (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|trixie]" +echo "Usage: ./clean [bookworm|trixie]" } if [ $# -gt 1 ]; then usage; exit 1; fi if [ $# -eq 1 ] then DIST=$1 - if [ $DIST != "bookworm" ] && [ $DIST != "bullseye" ] && [ $DIST != "trixie" ]; then usage; exit 1; fi + if [ $DIST != "bookworm" ] && [ $DIST != "trixie" ]; then usage; exit 1; fi cd $DIST fi |
