ubuntu.sh: source the .profile after changing it

such that the arm toolchain is available in that terminal without relogin for convenience.
2026-05-21 04:33:10 +08:00 · 2023-02-15 09:01:55 +01:00
parent 22030c1b8c
commit 013365d6c8
1 changed files with 1 additions and 0 deletions
@@ -183,6 +183,7 @@ if [[ $INSTALL_NUTTX == "true" ]]; then
 			echo "${NUTTX_GCC_VERSION} path already set.";
 		else
 			echo $exportline >> $HOME/.profile;
+			source $HOME/.profile; # Allows to directly build NuttX targets in the same terminal
 		fi
 	fi
 fi