diff options
| author | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-09 17:20:57 +0200 |
|---|---|---|
| committer | JozanLeClerc <bousset.rudy@gmail.com> | 2020-07-09 17:20:57 +0200 |
| commit | 95ec5b724520388fd2dc192a259c75b3f92c8cbd (patch) | |
| tree | 06b46692fc358ece79e4f436031907ac21e63124 | |
| parent | Update (diff) | |
| download | joe-scripts-95ec5b724520388fd2dc192a259c75b3f92c8cbd.tar.gz joe-scripts-95ec5b724520388fd2dc192a259c75b3f92c8cbd.tar.bz2 joe-scripts-95ec5b724520388fd2dc192a259c75b3f92c8cbd.tar.xz joe-scripts-95ec5b724520388fd2dc192a259c75b3f92c8cbd.tar.zst joe-scripts-95ec5b724520388fd2dc192a259c75b3f92c8cbd.zip | |
Update
| -rwxr-xr-x | src/update/gitjoe.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/update/gitjoe.pl b/src/update/gitjoe.pl index 524775b..61908d8 100755 --- a/src/update/gitjoe.pl +++ b/src/update/gitjoe.pl @@ -48,6 +48,7 @@ sub stagit_generate { } chdir($site_dir . $user . '/' . $repos[$i] . '/'); $repos[$i] = $repos[$i] . '.git'; + print "Repoing " . $repos[$i] . "\n"; system( '/usr/local/bin/dash', '-c', |