1 2 3 4
post_install() { echo 'Run the following command to add the PetaLinux tools to your shell:' echo 'source /opt/petalinux/settings.sh' }