~/.arduino15/packages/arduino/hardware/mbed_portenta/3.4.1/portenta_post_install.shWhenever a new version is installed, remember to copy this files into the new version directory. For example, new version is x.yy.zzThis file must be copied into the directory:~/.arduino15/packages/arduino/...