6 report
() { echo "${MYNAME}: $*" ; }
7 report_warn
() { report
"Warning: $*" >&2 ; }
8 report_err
() { report
"Error: $*" >&2 ; }
12 rm -f /run
/network
/ifstatenew
17 if [ -e /etc
/udev
/rules.d
/80-networking.rules
]; then
18 udevlink
=$
(readlink
/etc
/udev
/rules.d
/80-networking.rules
2>/dev
/null || true
)
19 [ -n "$udevlink" -a "$udevlink" = "/dev/null" ] && rm -f /etc
/udev
/rules.d
/80-networking.rules
22 if [ -e /etc
/udev
/rules.d
/60-bridge-network-interface.rules
]; then
23 udevlink
=$
(readlink
/etc
/udev
/rules.d
/60-bridge-network-interface.rules
2>/dev
/null || true
)
24 [ -n "$udevlink" -a "$udevlink" = "/dev/null" ] && rm -f /etc
/udev
/rules.d
/60-bridge-network-interface.rules
29 purge|remove|abort-install|disappear
)
34 upgrade|failed-upgrade|abort-upgrade|disappear
)
38 echo "postrm called with unknown argument \`$1'" >&2