diff options
author | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-09 17:34:01 +0200 |
---|---|---|
committer | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-09 17:34:01 +0200 |
commit | 1cf4611946b418b49a071b78d7f5da3649483a8d (patch) | |
tree | cb7d86b9342e1574c8a8bf4cbb81d028ad13fc30 /src/gitjoe/rmrepo.pl | |
parent | Limited commits to 20 (diff) | |
download | joe-scripts-1cf4611946b418b49a071b78d7f5da3649483a8d.tar.gz joe-scripts-1cf4611946b418b49a071b78d7f5da3649483a8d.tar.bz2 joe-scripts-1cf4611946b418b49a071b78d7f5da3649483a8d.tar.xz joe-scripts-1cf4611946b418b49a071b78d7f5da3649483a8d.tar.zst joe-scripts-1cf4611946b418b49a071b78d7f5da3649483a8d.zip |
Added fine end script messages
Diffstat (limited to '')
-rwxr-xr-x | src/gitjoe/rmrepo.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gitjoe/rmrepo.pl b/src/gitjoe/rmrepo.pl index 30ce4d2..632c6f7 100755 --- a/src/gitjoe/rmrepo.pl +++ b/src/gitjoe/rmrepo.pl @@ -25,6 +25,7 @@ sub main { '-c', '/bin/rm -rfv ' . $home_dir . $repo ); + print "Deleted git repository " . colored($repo, 'bold yellow') . " for user " . colored($usr, 'bold') . ".\n"; exit; } |