diff options
| author | 2024-06-06 00:30:00 +0200 | |
|---|---|---|
| committer | 2024-06-06 17:20:21 +0200 | |
| commit | 0f4e218448a573886b560d59086457670956a41b (patch) | |
| tree | 9136d9f33e276cc97e214313fa9c96e598e2b6be /debian/preinst | |
| parent | d888609a4138041893295f76938b7596b8e85062 (diff) | |
| download | base-files-0f4e218448a573886b560d59086457670956a41b.tar.gz base-files-0f4e218448a573886b560d59086457670956a41b.zip | |
DEP17: Install /usr-merge aliasing symlinks. Closes: #1064459.
Diffstat (limited to 'debian/preinst')
| -rw-r--r-- | debian/preinst | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/debian/preinst b/debian/preinst new file mode 100644 index 0000000..b657de5 --- /dev/null +++ b/debian/preinst @@ -0,0 +1,32 @@ +#!/bin/sh +set -e + +if [ "$1" = "install" ] || [ "$1" = "upgrade" ]; then + for d in bin lib lib32 lib64 libo32 lib64 sbin; do + if [ -d "$DPKG_ROOT/$d" ] && [ ! -L "$DPKG_ROOT/$d" ]; then + cat <<EOF + + +****************************************************************************** +* +* The base-files package cannot be installed because this system has a +* split /usr. +* +* Please install the usrmerge package to convert this system to merged-/usr. +* +* For more information please read https://wiki.debian.org/UsrMerge. +* +****************************************************************************** + + +EOF + exit 1 + fi + done + for d in #USR_MERGE_MULTILIB#; do + # Install DEP17 M4 protective diversions + dpkg-divert --quiet --package base-files --add --no-rename --divert "/.$d.usr-is-merged" "/$d" + done +fi + +#DEBHELPER# |
