Debian packages repository

The repository is located at https://rtime.felk.cvut.cz/debian/.

Adding the repository to your system

echo deb http://rtime.felk.cvut.cz/debian unstable main  > /etc/apt/sources.list.d/rtime-debs.list
wget -O - https://rtime.felk.cvut.cz/debian/archive-key.asc | apt-key add -

Note: The key has been changed on 2019-06-06 due to expiration of the previous key.

Adding packages to the repository

1. Ask Michal Sojka for permissions
2. Upload the package to /home/ftp/debian/incoming
3. On rtime server run one of:

   sudo -u reprepro -H /usr/bin/reprepro -b /home/ftp/debian includedeb unstable *.deb
   sudo -u reprepro -H /usr/bin/reprepro -b /home/ftp/debian processincoming default  # see dput configuration below
   

Uploading packages to rtime and running reprepro there can by automated by configuring dput on your local system as shown below.

Configuring dput

Put the following to ~/.dput.cf

[DEFAULT]
default_host_main = xxx

[rtime]
fqdn			= rtime.felk.cvut.cz
method			= rsync
incoming		= /home/ftp/debian/incoming
login			= *
allow_unsigned_uploads  = on
allowed_distributions	= (?!UNRELEASED)
post_upload_command	= ssh rtime.felk.cvut.cz sudo -u reprepro -H /usr/bin/reprepro -b /home/ftp/debian processincoming default

If you want to use debrelease to upload your packages, put the following line to ~/.devscripts.

DEBRELEASE_UPLOADER=dput

Manual local package signing

dpkg-sig --sign builder mypackage_0.1.2_amd64.deb

More at Creating your own Signed APT Repository and Debian Packages