diff options
| author | usr <usr@devuan> | 2026-08-13 14:40:10 +0200 |
|---|---|---|
| committer | usr <usr@devuan> | 2026-08-13 14:40:10 +0200 |
| commit | 2c7120acb2f398e5f77ebac30b5fe3949fe090c7 (patch) | |
| tree | 10f11001c2f4e13aa970e542bc7b43660acd7109 /.pik | |
| parent | 16ff7e41e355bef9a4defe0f8e933e4e49be26bd (diff) | |
added action .pik/clean.sh
Diffstat (limited to '.pik')
| -rw-r--r-- | .pik/clean.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.pik/clean.sh b/.pik/clean.sh new file mode 100644 index 0000000..5ef2b82 --- /dev/null +++ b/.pik/clean.sh @@ -0,0 +1,6 @@ +#!/bin/sh +set -euCx +[ ponger = "$(basename $PWD)" ] || exit 1 +if [ -f ponger ]; then + rm ponger +fi |