12345678910111213141516171819202122 |
- #!/bin/sh -e
- udevd_live() {
- if [ ! -d /run/udev ]; then
- echo >&2 " Skipped: Device manager is not running."
- exit 0
- fi
- }
- op="$1"; shift
- case "$op" in
- #hwdb) /usr/bin/udev-hwdb --usr update ;;
- hwdb) /usr/bin/udevadm hwdb --update ;;
- udev-reload) udevd_live; /usr/bin/udevadm control --reload ;;
- *) echo >&2 " Invalid operation '$op'"; exit 1 ;;
- esac
- exit 0
|