streamlined pkg-install and pkg-deinstall, based on mysql and postgresql ports

[monkeysphere.git] / repo / publish

#!/bin/bash

# simple reminder script to publish the repository to the usual spot:

rsync -avz --delete dists pool archivemaster@george.riseup.net:/srv/apt/