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