Update init script: install it under different name, add my_tty shell function -...

[grml-udev-config.git] / debian / overrides

grml-udev-config: init.d-script-does-not-implement-required-option /etc/init.d/grml-udev stop
grml-udev-config: init.d-script-does-not-implement-required-option /etc/init.d/grml-udev restart
grml-udev-config: init.d-script-does-not-implement-required-option /etc/init.d/grml-udev force-reload