[PR PATCH] u-boot-menu: update to 0.3

Github messages for voidlinux
 help / color / mirror / Atom feed

* [PR PATCH] u-boot-menu: update to 0.3
@ 2024-11-13 11:50 SyFloG
  2024-12-03 10:28 ` [PR PATCH] [Updated] " SyFloG
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: SyFloG @ 2024-11-13 11:50 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 525 bytes --]

There is a new pull request by SyFloG against master on the void-packages repository

https://github.com/SyFloG/void-packages u-boot-menu
https://github.com/void-linux/void-packages/pull/53043

u-boot-menu: update to 0.3
#### Testing the changes
- I tested the changes in this PR: **briefly**

#### Changes
- correct LINUX entry suffix
- default TIMEOUT if CONF is not present
- fixed warnings according to `shellcheck -s sh`


A patch file from https://github.com/void-linux/void-packages/pull/53043.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-u-boot-menu-53043.patch --]
[-- Type: text/x-diff, Size: 3012 bytes --]

From 9c1b3ff54aaf7caa405cae1c6a47d560f56a7743 Mon Sep 17 00:00:00 2001
From: SyFloG <syflog@pm.me>
Date: Wed, 13 Nov 2024 12:36:25 +0100
Subject: [PATCH] u-boot-menu: update to 0.3

---
 srcpkgs/u-boot-menu/files/kernel.d/extlinux | 26 +++++++++++++--------
 srcpkgs/u-boot-menu/template                |  4 ++--
 2 files changed, 18 insertions(+), 12 deletions(-)

diff --git a/srcpkgs/u-boot-menu/files/kernel.d/extlinux b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
index cb4bae4e09bde0..103741159617b9 100644
--- a/srcpkgs/u-boot-menu/files/kernel.d/extlinux
+++ b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
@@ -7,18 +7,19 @@ header() {
 }
 
 get_bootpath() {
-	echo ${1} | sed "s#${BOOTPART}/#/#"
+	echo "${1}" | sed "s#${BOOTPART}/#/#"
 }
 
 add_kernel() {
-	ver=${1}
-	kernel=$(get_bootpath "/boot/vmlinux-${ver}")
+	ver="${1}"
+	suffix="${2}"
+	kernel=$(get_bootpath "/boot/vmlinu${suffix}-${ver}")
 	initrd=$(get_bootpath "/boot/initramfs-${ver}.img")
 	devicetreedir=$(get_bootpath "/boot/dtbs/dtbs-${ver}")
 	fdt=$(get_bootpath "/boot/dtbs/dtbs-${ver}/${DTBPATH}")
 	cmdline="${CMDLINE}"
 
-	printf "LABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
+	printf "\nLABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
 	printf "\tMENU LABEL Void Linux Version %s\n" "${ver}" >> "${OUTFILE}"
 	printf "\tLINUX %s\n" "${kernel}" >> "${OUTFILE}"
 	if [ -e "${BOOTPART}/${initrd}" ]; then
@@ -27,17 +28,18 @@ add_kernel() {
 	if [ -n "${USE_DEVICETREEDIR}" ]; then
 		printf "\tDEVICETREEDIR %s\n" "${devicetreedir}" >> "${OUTFILE}"
 	elif [ -n "${DTBPATH}" ] && [ -e "${BOOTPART}/${fdt}" ]; then
-		printf "\tFDT %s\n" ${fdt} >> "${OUTFILE}"
+		printf "\tFDT %s\n" "${fdt}" >> "${OUTFILE}"
 	fi
 	if [ -n "${cmdline}" ]; then
 		printf "\tAPPEND %s\n" "${cmdline}" >> "${OUTFILE}"
 	fi
-	ENTRY=$(expr ${ENTRY} + 1)
+
+	ENTRY=$((ENTRY + 1))
 }
 
 main() {
 	if [ ! -d /boot/extlinux ]; then
-		rm ${OUTFILE}
+		rm "${OUTFILE}"
 		exit 0
 	fi
 
@@ -52,15 +54,19 @@ main() {
 	header
 
 	for kernel in $(ls /boot/vmlinu[xz]-* | sort -rV); do
-		ver=$(echo ${kernel} | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		ver=$(echo "${kernel}" | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		suffix=$(echo "${kernel}" | sed "s#/boot/vmlinu\([xz]\).*#\\1#")
 		echo "Add kernel ${ver}"
-		add_kernel ${ver}
+		add_kernel "${ver}" "${suffix}"
 	done
-	mv ${OUTFILE} /boot/extlinux/extlinux.conf
+
+	mv "${OUTFILE}" /boot/extlinux/extlinux.conf
 }
 
 CONF=/etc/default/extlinux
 OUTFILE=$(mktemp)
 BOOTPART=$(df -P /boot | tail -1 | awk '{ print $6 }')
 ENTRY=0
+TIMEOUT=10
+
 main
diff --git a/srcpkgs/u-boot-menu/template b/srcpkgs/u-boot-menu/template
index 678c36d050a7ac..735d802cec1f8c 100644
--- a/srcpkgs/u-boot-menu/template
+++ b/srcpkgs/u-boot-menu/template
@@ -1,7 +1,7 @@
 # Template file for 'u-boot-menu'
 pkgname=u-boot-menu
-version=0.2
-revision=3
+version=0.3
+revision=1
 conf_files="/etc/default/extlinux"
 short_desc="Create an u-boot menu with currently available kernels"
 maintainer="Remi Pommarel <repk@triplefau.lt>"

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PR PATCH] [Updated] u-boot-menu: update to 0.3
  2024-11-13 11:50 [PR PATCH] u-boot-menu: update to 0.3 SyFloG
@ 2024-12-03 10:28 ` SyFloG
  2025-01-30 12:31 ` SyFloG
  2025-03-04  9:59 ` SyFloG
  2 siblings, 0 replies; 4+ messages in thread
From: SyFloG @ 2024-12-03 10:28 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 530 bytes --]

There is an updated pull request by SyFloG against master on the void-packages repository

https://github.com/SyFloG/void-packages u-boot-menu
https://github.com/void-linux/void-packages/pull/53043

u-boot-menu: update to 0.3
#### Testing the changes
- I tested the changes in this PR: **briefly**

#### Changes
- correct LINUX entry suffix
- default TIMEOUT if CONF is not present
- fixed warnings according to `shellcheck -s sh`


A patch file from https://github.com/void-linux/void-packages/pull/53043.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-u-boot-menu-53043.patch --]
[-- Type: text/x-diff, Size: 3012 bytes --]

From b415618925984515cf09cd6c83da1ff5a1cd1fc3 Mon Sep 17 00:00:00 2001
From: SyFloG <syflog@pm.me>
Date: Wed, 13 Nov 2024 12:36:25 +0100
Subject: [PATCH] u-boot-menu: update to 0.3

---
 srcpkgs/u-boot-menu/files/kernel.d/extlinux | 26 +++++++++++++--------
 srcpkgs/u-boot-menu/template                |  4 ++--
 2 files changed, 18 insertions(+), 12 deletions(-)

diff --git a/srcpkgs/u-boot-menu/files/kernel.d/extlinux b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
index cb4bae4e09bde0..103741159617b9 100644
--- a/srcpkgs/u-boot-menu/files/kernel.d/extlinux
+++ b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
@@ -7,18 +7,19 @@ header() {
 }
 
 get_bootpath() {
-	echo ${1} | sed "s#${BOOTPART}/#/#"
+	echo "${1}" | sed "s#${BOOTPART}/#/#"
 }
 
 add_kernel() {
-	ver=${1}
-	kernel=$(get_bootpath "/boot/vmlinux-${ver}")
+	ver="${1}"
+	suffix="${2}"
+	kernel=$(get_bootpath "/boot/vmlinu${suffix}-${ver}")
 	initrd=$(get_bootpath "/boot/initramfs-${ver}.img")
 	devicetreedir=$(get_bootpath "/boot/dtbs/dtbs-${ver}")
 	fdt=$(get_bootpath "/boot/dtbs/dtbs-${ver}/${DTBPATH}")
 	cmdline="${CMDLINE}"
 
-	printf "LABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
+	printf "\nLABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
 	printf "\tMENU LABEL Void Linux Version %s\n" "${ver}" >> "${OUTFILE}"
 	printf "\tLINUX %s\n" "${kernel}" >> "${OUTFILE}"
 	if [ -e "${BOOTPART}/${initrd}" ]; then
@@ -27,17 +28,18 @@ add_kernel() {
 	if [ -n "${USE_DEVICETREEDIR}" ]; then
 		printf "\tDEVICETREEDIR %s\n" "${devicetreedir}" >> "${OUTFILE}"
 	elif [ -n "${DTBPATH}" ] && [ -e "${BOOTPART}/${fdt}" ]; then
-		printf "\tFDT %s\n" ${fdt} >> "${OUTFILE}"
+		printf "\tFDT %s\n" "${fdt}" >> "${OUTFILE}"
 	fi
 	if [ -n "${cmdline}" ]; then
 		printf "\tAPPEND %s\n" "${cmdline}" >> "${OUTFILE}"
 	fi
-	ENTRY=$(expr ${ENTRY} + 1)
+
+	ENTRY=$((ENTRY + 1))
 }
 
 main() {
 	if [ ! -d /boot/extlinux ]; then
-		rm ${OUTFILE}
+		rm "${OUTFILE}"
 		exit 0
 	fi
 
@@ -52,15 +54,19 @@ main() {
 	header
 
 	for kernel in $(ls /boot/vmlinu[xz]-* | sort -rV); do
-		ver=$(echo ${kernel} | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		ver=$(echo "${kernel}" | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		suffix=$(echo "${kernel}" | sed "s#/boot/vmlinu\([xz]\).*#\\1#")
 		echo "Add kernel ${ver}"
-		add_kernel ${ver}
+		add_kernel "${ver}" "${suffix}"
 	done
-	mv ${OUTFILE} /boot/extlinux/extlinux.conf
+
+	mv "${OUTFILE}" /boot/extlinux/extlinux.conf
 }
 
 CONF=/etc/default/extlinux
 OUTFILE=$(mktemp)
 BOOTPART=$(df -P /boot | tail -1 | awk '{ print $6 }')
 ENTRY=0
+TIMEOUT=10
+
 main
diff --git a/srcpkgs/u-boot-menu/template b/srcpkgs/u-boot-menu/template
index 678c36d050a7ac..735d802cec1f8c 100644
--- a/srcpkgs/u-boot-menu/template
+++ b/srcpkgs/u-boot-menu/template
@@ -1,7 +1,7 @@
 # Template file for 'u-boot-menu'
 pkgname=u-boot-menu
-version=0.2
-revision=3
+version=0.3
+revision=1
 conf_files="/etc/default/extlinux"
 short_desc="Create an u-boot menu with currently available kernels"
 maintainer="Remi Pommarel <repk@triplefau.lt>"

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PR PATCH] [Updated] u-boot-menu: update to 0.3
  2024-11-13 11:50 [PR PATCH] u-boot-menu: update to 0.3 SyFloG
  2024-12-03 10:28 ` [PR PATCH] [Updated] " SyFloG
@ 2025-01-30 12:31 ` SyFloG
  2025-03-04  9:59 ` SyFloG
  2 siblings, 0 replies; 4+ messages in thread
From: SyFloG @ 2025-01-30 12:31 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 530 bytes --]

There is an updated pull request by SyFloG against master on the void-packages repository

https://github.com/SyFloG/void-packages u-boot-menu
https://github.com/void-linux/void-packages/pull/53043

u-boot-menu: update to 0.3
#### Testing the changes
- I tested the changes in this PR: **briefly**

#### Changes
- correct LINUX entry suffix
- default TIMEOUT if CONF is not present
- fixed warnings according to `shellcheck -s sh`


A patch file from https://github.com/void-linux/void-packages/pull/53043.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-u-boot-menu-53043.patch --]
[-- Type: text/x-diff, Size: 3012 bytes --]

From 58364b64011a2d297045f83e6e81cd618bd8ba61 Mon Sep 17 00:00:00 2001
From: SyFloG <syflog@pm.me>
Date: Wed, 13 Nov 2024 12:36:25 +0100
Subject: [PATCH] u-boot-menu: update to 0.3

---
 srcpkgs/u-boot-menu/files/kernel.d/extlinux | 26 +++++++++++++--------
 srcpkgs/u-boot-menu/template                |  4 ++--
 2 files changed, 18 insertions(+), 12 deletions(-)

diff --git a/srcpkgs/u-boot-menu/files/kernel.d/extlinux b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
index cb4bae4e09bde0..103741159617b9 100644
--- a/srcpkgs/u-boot-menu/files/kernel.d/extlinux
+++ b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
@@ -7,18 +7,19 @@ header() {
 }
 
 get_bootpath() {
-	echo ${1} | sed "s#${BOOTPART}/#/#"
+	echo "${1}" | sed "s#${BOOTPART}/#/#"
 }
 
 add_kernel() {
-	ver=${1}
-	kernel=$(get_bootpath "/boot/vmlinux-${ver}")
+	ver="${1}"
+	suffix="${2}"
+	kernel=$(get_bootpath "/boot/vmlinu${suffix}-${ver}")
 	initrd=$(get_bootpath "/boot/initramfs-${ver}.img")
 	devicetreedir=$(get_bootpath "/boot/dtbs/dtbs-${ver}")
 	fdt=$(get_bootpath "/boot/dtbs/dtbs-${ver}/${DTBPATH}")
 	cmdline="${CMDLINE}"
 
-	printf "LABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
+	printf "\nLABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
 	printf "\tMENU LABEL Void Linux Version %s\n" "${ver}" >> "${OUTFILE}"
 	printf "\tLINUX %s\n" "${kernel}" >> "${OUTFILE}"
 	if [ -e "${BOOTPART}/${initrd}" ]; then
@@ -27,17 +28,18 @@ add_kernel() {
 	if [ -n "${USE_DEVICETREEDIR}" ]; then
 		printf "\tDEVICETREEDIR %s\n" "${devicetreedir}" >> "${OUTFILE}"
 	elif [ -n "${DTBPATH}" ] && [ -e "${BOOTPART}/${fdt}" ]; then
-		printf "\tFDT %s\n" ${fdt} >> "${OUTFILE}"
+		printf "\tFDT %s\n" "${fdt}" >> "${OUTFILE}"
 	fi
 	if [ -n "${cmdline}" ]; then
 		printf "\tAPPEND %s\n" "${cmdline}" >> "${OUTFILE}"
 	fi
-	ENTRY=$(expr ${ENTRY} + 1)
+
+	ENTRY=$((ENTRY + 1))
 }
 
 main() {
 	if [ ! -d /boot/extlinux ]; then
-		rm ${OUTFILE}
+		rm "${OUTFILE}"
 		exit 0
 	fi
 
@@ -52,15 +54,19 @@ main() {
 	header
 
 	for kernel in $(ls /boot/vmlinu[xz]-* | sort -rV); do
-		ver=$(echo ${kernel} | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		ver=$(echo "${kernel}" | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		suffix=$(echo "${kernel}" | sed "s#/boot/vmlinu\([xz]\).*#\\1#")
 		echo "Add kernel ${ver}"
-		add_kernel ${ver}
+		add_kernel "${ver}" "${suffix}"
 	done
-	mv ${OUTFILE} /boot/extlinux/extlinux.conf
+
+	mv "${OUTFILE}" /boot/extlinux/extlinux.conf
 }
 
 CONF=/etc/default/extlinux
 OUTFILE=$(mktemp)
 BOOTPART=$(df -P /boot | tail -1 | awk '{ print $6 }')
 ENTRY=0
+TIMEOUT=10
+
 main
diff --git a/srcpkgs/u-boot-menu/template b/srcpkgs/u-boot-menu/template
index 678c36d050a7ac..735d802cec1f8c 100644
--- a/srcpkgs/u-boot-menu/template
+++ b/srcpkgs/u-boot-menu/template
@@ -1,7 +1,7 @@
 # Template file for 'u-boot-menu'
 pkgname=u-boot-menu
-version=0.2
-revision=3
+version=0.3
+revision=1
 conf_files="/etc/default/extlinux"
 short_desc="Create an u-boot menu with currently available kernels"
 maintainer="Remi Pommarel <repk@triplefau.lt>"

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [PR PATCH] [Updated] u-boot-menu: update to 0.3
  2024-11-13 11:50 [PR PATCH] u-boot-menu: update to 0.3 SyFloG
  2024-12-03 10:28 ` [PR PATCH] [Updated] " SyFloG
  2025-01-30 12:31 ` SyFloG
@ 2025-03-04  9:59 ` SyFloG
  2 siblings, 0 replies; 4+ messages in thread
From: SyFloG @ 2025-03-04  9:59 UTC (permalink / raw)
  To: ml

[-- Attachment #1: Type: text/plain, Size: 530 bytes --]

There is an updated pull request by SyFloG against master on the void-packages repository

https://github.com/SyFloG/void-packages u-boot-menu
https://github.com/void-linux/void-packages/pull/53043

u-boot-menu: update to 0.3
#### Testing the changes
- I tested the changes in this PR: **briefly**

#### Changes
- correct LINUX entry suffix
- default TIMEOUT if CONF is not present
- fixed warnings according to `shellcheck -s sh`


A patch file from https://github.com/void-linux/void-packages/pull/53043.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-u-boot-menu-53043.patch --]
[-- Type: text/x-diff, Size: 3012 bytes --]

From a97c0247c3720410622d84256944e7a9dec2fb4e Mon Sep 17 00:00:00 2001
From: SyFloG <syflog@pm.me>
Date: Wed, 13 Nov 2024 12:36:25 +0100
Subject: [PATCH] u-boot-menu: update to 0.3

---
 srcpkgs/u-boot-menu/files/kernel.d/extlinux | 26 +++++++++++++--------
 srcpkgs/u-boot-menu/template                |  4 ++--
 2 files changed, 18 insertions(+), 12 deletions(-)

diff --git a/srcpkgs/u-boot-menu/files/kernel.d/extlinux b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
index cb4bae4e09bde0..103741159617b9 100644
--- a/srcpkgs/u-boot-menu/files/kernel.d/extlinux
+++ b/srcpkgs/u-boot-menu/files/kernel.d/extlinux
@@ -7,18 +7,19 @@ header() {
 }
 
 get_bootpath() {
-	echo ${1} | sed "s#${BOOTPART}/#/#"
+	echo "${1}" | sed "s#${BOOTPART}/#/#"
 }
 
 add_kernel() {
-	ver=${1}
-	kernel=$(get_bootpath "/boot/vmlinux-${ver}")
+	ver="${1}"
+	suffix="${2}"
+	kernel=$(get_bootpath "/boot/vmlinu${suffix}-${ver}")
 	initrd=$(get_bootpath "/boot/initramfs-${ver}.img")
 	devicetreedir=$(get_bootpath "/boot/dtbs/dtbs-${ver}")
 	fdt=$(get_bootpath "/boot/dtbs/dtbs-${ver}/${DTBPATH}")
 	cmdline="${CMDLINE}"
 
-	printf "LABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
+	printf "\nLABEL entry%s\n" "${ENTRY}" >> "${OUTFILE}"
 	printf "\tMENU LABEL Void Linux Version %s\n" "${ver}" >> "${OUTFILE}"
 	printf "\tLINUX %s\n" "${kernel}" >> "${OUTFILE}"
 	if [ -e "${BOOTPART}/${initrd}" ]; then
@@ -27,17 +28,18 @@ add_kernel() {
 	if [ -n "${USE_DEVICETREEDIR}" ]; then
 		printf "\tDEVICETREEDIR %s\n" "${devicetreedir}" >> "${OUTFILE}"
 	elif [ -n "${DTBPATH}" ] && [ -e "${BOOTPART}/${fdt}" ]; then
-		printf "\tFDT %s\n" ${fdt} >> "${OUTFILE}"
+		printf "\tFDT %s\n" "${fdt}" >> "${OUTFILE}"
 	fi
 	if [ -n "${cmdline}" ]; then
 		printf "\tAPPEND %s\n" "${cmdline}" >> "${OUTFILE}"
 	fi
-	ENTRY=$(expr ${ENTRY} + 1)
+
+	ENTRY=$((ENTRY + 1))
 }
 
 main() {
 	if [ ! -d /boot/extlinux ]; then
-		rm ${OUTFILE}
+		rm "${OUTFILE}"
 		exit 0
 	fi
 
@@ -52,15 +54,19 @@ main() {
 	header
 
 	for kernel in $(ls /boot/vmlinu[xz]-* | sort -rV); do
-		ver=$(echo ${kernel} | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		ver=$(echo "${kernel}" | sed "s#/boot/vmlinu[xz]-\(.*\)#\\1#")
+		suffix=$(echo "${kernel}" | sed "s#/boot/vmlinu\([xz]\).*#\\1#")
 		echo "Add kernel ${ver}"
-		add_kernel ${ver}
+		add_kernel "${ver}" "${suffix}"
 	done
-	mv ${OUTFILE} /boot/extlinux/extlinux.conf
+
+	mv "${OUTFILE}" /boot/extlinux/extlinux.conf
 }
 
 CONF=/etc/default/extlinux
 OUTFILE=$(mktemp)
 BOOTPART=$(df -P /boot | tail -1 | awk '{ print $6 }')
 ENTRY=0
+TIMEOUT=10
+
 main
diff --git a/srcpkgs/u-boot-menu/template b/srcpkgs/u-boot-menu/template
index 678c36d050a7ac..735d802cec1f8c 100644
--- a/srcpkgs/u-boot-menu/template
+++ b/srcpkgs/u-boot-menu/template
@@ -1,7 +1,7 @@
 # Template file for 'u-boot-menu'
 pkgname=u-boot-menu
-version=0.2
-revision=3
+version=0.3
+revision=1
 conf_files="/etc/default/extlinux"
 short_desc="Create an u-boot menu with currently available kernels"
 maintainer="Remi Pommarel <repk@triplefau.lt>"

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2025-03-04  9:59 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-11-13 11:50 [PR PATCH] u-boot-menu: update to 0.3 SyFloG
2024-12-03 10:28 ` [PR PATCH] [Updated] " SyFloG
2025-01-30 12:31 ` SyFloG
2025-03-04  9:59 ` SyFloG

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).