cat pre-install
#!/bin/sh
if [ -d "/opt/microchip" ]; then
# Control will enter here if $DIRECTORY exists.
sudo mv /opt/microchip /opt/microchip.temporarily_renamed_for_xc16_install
fi
sudo ln -sf /var/pkgmk/work/xc16-bin/pkg/opt/microchip /opt/microchip
# sudo chown pkgmk:pkgmk /opt/microchip
# sudo chmod 777 /opt/microchip
--(~/local/ports/joe9/crux/xc16-bin)-------------------------------------------------------------------(pts/2@main)--
cat post-instarr
cat: post-instarr: No such file or directory
--(~/local/ports/joe9/crux/xc16-bin)-------------------------------------------------------------------(pts/2@main)--
cat post-install
#!/bin/sh
sudo rm /opt/microchip
if [ -d "/opt/microchip.temporarily_renamed_for_xc16_install" ]; then
# Control will enter here if $DIRECTORY exists.
sudo mv /opt/microchip.temporarily_renamed_for_xc16_install /opt/microchip
fi