1
0
graalvm-debian-image/extra-scripts/divert-rm.sh

8 lines
169 B
Bash
Raw Normal View History

2024-09-25 07:15:38 +03:00
#!/bin/sh
set -ef
: "${1:?}"
d=$(printf '%s' "/run/apt-removed/divert/$1" | tr -s '/')
mkdir -p "${d%/*}"
dpkg-divert --divert "$d" --rename "$1" 2>/dev/null
rm -f "$d"