| /trunk/debian/pike7.8-core.postinst |
|---|
| 32,7 → 32,7 |
| case "$1" in |
| configure) |
| update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 10 \ |
| update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 12 \ |
| --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 |