post_install() {
echo ">>> Create a config file:"
echo ">>> cp /usr/share/zephyr-sdk/zephyrrc ~/.zephyrrc"
}