diff options
| author | Jelle van der Waa <jelle@vdwaa.nl> | 2019-02-02 19:09:36 +0100 |
|---|---|---|
| committer | Levente Polyak <levente@leventepolyak.net> | 2019-02-24 13:37:37 +0100 |
| commit | 26b2ffc665fb78bfe3345892b7d740d5835387f2 (patch) | |
| tree | b0d9f1094c001111bed938a12c79a2f7eaa4fc6b /archrm.in | |
| parent | 62306018f2cea57aafae410f00d00d2594592e8f (diff) | |
| download | devtools32-26b2ffc665fb78bfe3345892b7d740d5835387f2.tar.xz | |
remove arch rm as it's not really useful
archrm is a not much more fancy rm -rf and therefore not really useful
to ship.
Diffstat (limited to 'archrm.in')
| -rw-r--r-- | archrm.in | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/archrm.in b/archrm.in deleted file mode 100644 index 6f4dfc3..0000000 --- a/archrm.in +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash -# License: Unspecified - -m4_include(lib/common.sh) - -if [[ -z $1 ]]; then - echo 'Usage: archrm <path to checkout>' - exit 1 -fi - -# FIXME: Check if there are uncommited changes -#pushd $1 -# -#popd - -rm -rf "$1" |