config/lib/exts: run shellfmt

- `bash lib/tools/shellfmt.sh`
- mostly spacing changes that accumulated over time
This commit is contained in:
Ricardo Pardini
2023-08-22 13:32:09 +02:00
parent 1d6a779ed1
commit 11df81403d
17 changed files with 57 additions and 59 deletions

View File

@@ -160,11 +160,11 @@ function create_sources_list_and_deploy_repo_key() {
#deb-src http://${DEBIAN_MIRROR} unstable main contrib non-free non-free-firmware
EOF
# Exception: with riscv64 not everything was moved from ports
# https://lists.debian.org/debian-riscv/2023/07/msg00053.html
if [[ "${ARCH}" == riscv64 ]]; then
echo "deb http://deb.debian.org/debian-ports/ sid main " >> "${basedir}"/etc/apt/sources.list
fi
# Exception: with riscv64 not everything was moved from ports
# https://lists.debian.org/debian-riscv/2023/07/msg00053.html
if [[ "${ARCH}" == riscv64 ]]; then
echo "deb http://deb.debian.org/debian-ports/ sid main " >> "${basedir}"/etc/apt/sources.list
fi
;;
focal | jammy | kinetic | lunar)