summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2023-10-03 10:04:08 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-10-03 10:04:08 +0200
commit90a66a63854324ea25636ccdf7102779b671d053 (patch)
tree459b8d568b985ac7aa45e231e75fd93ea71aad9a
parent142de76a6e7429bd8865211cfa5352d5a4c8cf0c (diff)
Add po-debconf infrastructure
-rw-r--r--debian/changelog1
-rw-r--r--debian/control2
-rw-r--r--debian/librumpdev-audio0.templates.linux2
-rw-r--r--debian/librumpdev-pci0.templates.linux4
-rw-r--r--debian/po/POTFILES.in2
-rw-r--r--debian/po/templates.pot108
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 ""