diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-01-04 16:42:03 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-01-04 16:42:03 +0100 |
commit | 3bec72380ed7a453d9b5742ae26a840e44ea285b (patch) | |
tree | aa9f1953d3341b21fb216f5578ef5e98ebe9af4f /developers-manual.rst | |
parent | f2ee48e60a5d120abe301fb4015b020964cc34c6 (diff) | |
download | docs-3bec72380ed7a453d9b5742ae26a840e44ea285b.tar.gz docs-3bec72380ed7a453d9b5742ae26a840e44ea285b.tar.bz2 docs-3bec72380ed7a453d9b5742ae26a840e44ea285b.zip |
fix syntax issues
Diffstat (limited to 'developers-manual.rst')
-rw-r--r-- | developers-manual.rst | 26 |
1 files changed, 17 insertions, 9 deletions
diff --git a/developers-manual.rst b/developers-manual.rst index df12bd47..95ba384d 100644 --- a/developers-manual.rst +++ b/developers-manual.rst @@ -622,21 +622,29 @@ https://wiki.debian.org/DebianRepository/SetupWithReprepro First, update at least the version of the Debian package in debian/changelog, and then run: -$ dpkg-buildpackage -rfakeroot -b -uc -us +.. code-block:: bash + + $ dpkg-buildpackage -rfakeroot -b -uc -us in the respective source directory (GNUnet, exchange, merchant) to create the -".deb" files. Note that they will be created in the parent directory. This +``.deb`` files. Note that they will be created in the parent directory. This can be done on gv.taler.net, or on another (secure) machine. -Next, the "*.deb" files should be copied to gv.taler.net, say to -``/root/incoming``. Then, go to ``/var/www/repos/apt/debian/`` and run -``reprepro includedeb sid /root/incoming/*.deb`` to import all Debian files -from ``/root/incoming/`` into the ``sid`` distribution. If Debian packages -were build against other distributions, reprepro may need to be first -configured for those and the import command updated accordingly. +Next, the ``*.deb`` files should be copied to gv.taler.net, say to +``/root/incoming``. Then, run + +.. code-block:: bash + + # cd /var/www/repos/apt/debian/ + # reprepro includedeb sid /root/incoming/*.deb + +to import all Debian files from ``/root/incoming/`` into the ``sid`` +distribution. If Debian packages were build against other distributions, +reprepro may need to be first configured for those and the import command +updated accordingly. Finally, make sure to clean up ``/root/incoming/`` (by deleting the -now imported "*.deb" files). +now imported ``*.deb`` files). |