diff options
Diffstat (limited to 'repo/publish')
| -rwxr-xr-x | repo/publish | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/repo/publish b/repo/publish deleted file mode 100755 index f12ae9f..0000000 --- a/repo/publish +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -# simple reminder script to publish the repository to the usual spot: - -rsync -avz --delete dists pool archivemaster@george.riseup.net:/srv/apt/ |