Sophie

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

distrib > Mageia > 7 > armv7hl > media > core-release > by-pkgid > 7bbe62498ac2b6bd12d6a1238053e338 > scriptlet

php-channel-phpdoc-1.3-8.mga7.noarch.rpm

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

/bin/sh

if [ $1 -gt  1 ] ; then
	pear channel-update /var/lib/pear/pear.phpdoc.org.xml
else
	pear channel-add /var/lib/pear/pear.phpdoc.org.xml
fi

/bin/sh

if [ $1 -eq 0 ] ; then
    pear channel-delete pear.phpdoc.org > /dev/null || :
fi