diff options
| author | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-26 15:54:31 +0200 |
|---|---|---|
| committer | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-26 15:54:31 +0200 |
| commit | 93ea75275bd0cc208388c732d7ba78e42d117cb6 (patch) | |
| tree | e1dd104c66bf1587a50eda0a290215c2cec9ddf8 /src/gitjoe/rmrepo.pl | |
| parent | Test (diff) | |
| download | joe-scripts-93ea75275bd0cc208388c732d7ba78e42d117cb6.tar.gz joe-scripts-93ea75275bd0cc208388c732d7ba78e42d117cb6.tar.bz2 joe-scripts-93ea75275bd0cc208388c732d7ba78e42d117cb6.tar.xz joe-scripts-93ea75275bd0cc208388c732d7ba78e42d117cb6.tar.zst joe-scripts-93ea75275bd0cc208388c732d7ba78e42d117cb6.zip | |
Better scripts
Diffstat (limited to 'src/gitjoe/rmrepo.pl')
| -rwxr-xr-x | src/gitjoe/rmrepo.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/gitjoe/rmrepo.pl b/src/gitjoe/rmrepo.pl index 632c6f7..d56da96 100755 --- a/src/gitjoe/rmrepo.pl +++ b/src/gitjoe/rmrepo.pl @@ -21,9 +21,9 @@ sub main { } $repo = $repo . '/'; system( - '/usr/local/bin/dash', - '-c', - '/bin/rm -rfv ' . $home_dir . $repo + '/bin/rm', + '-rfv', + $home_dir . $repo ); print "Deleted git repository " . colored($repo, 'bold yellow') . " for user " . colored($usr, 'bold') . ".\n"; exit; |