reload-environment-variables.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14

post_install() {
	tput bold
	echo "To apply the changes you need to"
	echo "restart your computer or relogin."
	tput sgr0
}

post_upgrade() {
	tput bold
	tput setaf 3 # Set text color to yellow
	echo "You should delete/recreate all build directories"
	echo "when upgrading from previous versions of the Raspberry Pi Pico SDK!"
	tput sgr0
}