Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mandriva > 10.0 > i586 > media > main > by-pkgid > 90812433b08e173ee89c526e9464aca3 > scriptlet

dynamic-0.12.4-1mdk.noarch.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

/bin/sh

if [ -f /dev/.devfsd ]; then
	killall -USR1 devfsd > /dev/null 2>&1 || :
fi

/bin/sh

[ $1 != 0 ] && exit 0

if [ -f /dev/.devfsd ]; then
	killall -USR1 devfsd > /dev/null 2>&1 || :
fi