/branches/7.6-stable/debian/pike7.6-core.postinst |
---|
32,7 → 32,7 |
case "$1" in |
configure) |
/usr/sbin/update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 10 \ |
update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 10 \ |
--slave /usr/share/man/man1/pike.1.gz pike.1.gz /usr/share/man/man1/${PIKEBIN}.1.gz |
# |
# If the creation fails, so be it, user might have the filesystem mounted r/o |