diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-10-03 10:04:08 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-10-03 10:04:08 +0200 |
commit | 90a66a63854324ea25636ccdf7102779b671d053 (patch) | |
tree | 459b8d568b985ac7aa45e231e75fd93ea71aad9a | |
parent | 142de76a6e7429bd8865211cfa5352d5a4c8cf0c (diff) |
Add po-debconf infrastructure
-rw-r--r-- | debian/changelog | 1 | ||||
-rw-r--r-- | debian/control | 2 | ||||
-rw-r--r-- | debian/librumpdev-audio0.templates.linux | 2 | ||||
-rw-r--r-- | debian/librumpdev-pci0.templates.linux | 4 | ||||
-rw-r--r-- | debian/po/POTFILES.in | 2 | ||||
-rw-r--r-- | debian/po/templates.pot | 108 |
6 files changed, 115 insertions, 4 deletions
diff --git a/debian/changelog b/debian/changelog index 1232875c..cc693be2 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,7 @@ rumpkernel (0~20211031+repack-4) UNRELEASED; urgency=medium * rules: Make blhc happier by disabling format-security rather that not enabling it. * source/lintian-overrides: Ignore spurious warning. + * Add po-debconf infrastructure. -- Samuel Thibault <sthibault@debian.org> Tue, 19 Sep 2023 18:29:43 +0200 diff --git a/debian/control b/debian/control index 7ff185f7..b7c6221b 100644 --- a/debian/control +++ b/debian/control @@ -2,7 +2,7 @@ Source: rumpkernel Priority: extra Maintainer: Robert Millan <rmh@debian.org> Build-Depends: - debhelper (>= 8.0.0), + debhelper (>= 8.0.0), po-debconf, autotools-dev, zlib1g-dev, libc0.3 (>= 2.31-2) [hurd-any], diff --git a/debian/librumpdev-audio0.templates.linux b/debian/librumpdev-audio0.templates.linux index 8fed3899..80d3cec4 100644 --- a/debian/librumpdev-audio0.templates.linux +++ b/debian/librumpdev-audio0.templates.linux @@ -1,7 +1,7 @@ Template: librumpdev-audio/linux-modules Type: multiselect Choices: ${CHOICES} -Description: Linux modules to blacklist: +_Description: Linux modules to blacklist: The audio hardware in your system is currently being used by the following Linux audio driver modules. If you want to use your audio hardware with Rump drivers, the corresponding Linux audio modules diff --git a/debian/librumpdev-pci0.templates.linux b/debian/librumpdev-pci0.templates.linux index 7ec02dab..88b965e0 100644 --- a/debian/librumpdev-pci0.templates.linux +++ b/debian/librumpdev-pci0.templates.linux @@ -1,7 +1,7 @@ Template: librumpdev-pci/hugepages Type: boolean Default: true -Description: Automatically configure hugepages? +_Description: Automatically configure hugepages? Rump drivers for PCI devices need spare hugepages in order to obtain access to DMA-safe (i.e. physically-contigous) memory. A detailed explanation is available at: @@ -15,7 +15,7 @@ Description: Automatically configure hugepages? Template: librumpdev-pci/nr_hugepages Type: string Default: 64 -Description: Number of hugepages available to userland: +_Description: Number of hugepages available to userland: From this menu you can define the number of hugepages that you wish to make available to userland applications (a reasonable default value has been selected for you). diff --git a/debian/po/POTFILES.in b/debian/po/POTFILES.in new file mode 100644 index 00000000..d7704f73 --- /dev/null +++ b/debian/po/POTFILES.in @@ -0,0 +1,2 @@ +[type: gettext/rfc822deb] librumpdev-audio0.templates.linux +[type: gettext/rfc822deb] librumpdev-pci0.templates.linux diff --git a/debian/po/templates.pot b/debian/po/templates.pot new file mode 100644 index 00000000..43f63a91 --- /dev/null +++ b/debian/po/templates.pot @@ -0,0 +1,108 @@ +# SOME DESCRIPTIVE TITLE. +# Copyright (C) YEAR THE PACKAGE'S COPYRIGHT HOLDER +# This file is distributed under the same license as the rumpkernel package. +# FIRST AUTHOR <EMAIL@ADDRESS>, YEAR. +# +#, fuzzy +msgid "" +msgstr "" +"Project-Id-Version: rumpkernel\n" +"Report-Msgid-Bugs-To: rumpkernel@packages.debian.org\n" +"POT-Creation-Date: 2023-10-03 10:03+0200\n" +"PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" +"Last-Translator: FULL NAME <EMAIL@ADDRESS>\n" +"Language-Team: LANGUAGE <LL@li.org>\n" +"Language: \n" +"MIME-Version: 1.0\n" +"Content-Type: text/plain; charset=CHARSET\n" +"Content-Transfer-Encoding: 8bit\n" + +#. Type: multiselect +#. Description +#: ../librumpdev-audio0.templates.linux:1001 +msgid "Linux modules to blacklist:" +msgstr "" + +#. Type: multiselect +#. Description +#: ../librumpdev-audio0.templates.linux:1001 +msgid "" +"The audio hardware in your system is currently being used by the following " +"Linux audio driver modules. If you want to use your audio hardware with Rump " +"drivers, the corresponding Linux audio modules need to be blacklisted." +msgstr "" + +#. Type: multiselect +#. Description +#: ../librumpdev-audio0.templates.linux:1001 +msgid "" +"The modules you select here will be automatically blacklisted after next " +"system reboot." +msgstr "" + +#. Type: boolean +#. Description +#: ../librumpdev-pci0.templates.linux:1001 +msgid "Automatically configure hugepages?" +msgstr "" + +#. Type: boolean +#. Description +#: ../librumpdev-pci0.templates.linux:1001 +msgid "" +"Rump drivers for PCI devices need spare hugepages in order to obtain access " +"to DMA-safe (i.e. physically-contigous) memory. A detailed explanation is " +"available at:" +msgstr "" + +#. Type: boolean +#. Description +#: ../librumpdev-pci0.templates.linux:1001 +#, no-c-format +msgid "" +" https://github.com/rumpkernel/wiki/wiki/Howto%3A-Accessing-PCI-devices-" +"from-userspace" +msgstr "" + +#. Type: boolean +#. Description +#: ../librumpdev-pci0.templates.linux:1001 +msgid "" +"If you plan on using Rump drivers for PCI devices, you can either configure " +"them manually or have this script automatically configure them for you." +msgstr "" + +#. Type: string +#. Description +#: ../librumpdev-pci0.templates.linux:2001 +msgid "Number of hugepages available to userland:" +msgstr "" + +#. Type: string +#. Description +#: ../librumpdev-pci0.templates.linux:2001 +msgid "" +"From this menu you can define the number of hugepages that you wish to make " +"available to userland applications (a reasonable default value has been " +"selected for you)." +msgstr "" + +#. Type: string +#. Description +#: ../librumpdev-pci0.templates.linux:2001 +msgid "Note: If you see errors like:" +msgstr "" + +#. Type: string +#. Description +#: ../librumpdev-pci0.templates.linux:2001 +msgid " \"iwn0: could not allocate TX ring DMA memory\"" +msgstr "" + +#. Type: string +#. Description +#: ../librumpdev-pci0.templates.linux:2001 +msgid "" +"when trying to use Rump PCI drivers, it's possible that you need to set a " +"large value here." +msgstr "" |