#!/bin/sh
set -ef
: "${1:?}"
d=$(printf '%s' "/run/$1" | tr -s '/')
mkdir -p "$(dirname "$d")"
dpkg-divert --divert "$d" --rename "$1" 2>/dev/null
rm -f "$d"