diff --git a/dist/init_rc.sh b/dist/init_rc.sh index 52b21a6..e7d4953 100644 --- a/dist/init_rc.sh +++ b/dist/init_rc.sh @@ -24,9 +24,6 @@ fi echo "Using shell rc file: $SHELL_RC" -# Check if content already exists in the shell rc file and if not, append it +cat dist/.baserc >> "$SHELL_RC" -cat /home/"$BUILD_USER"/"$SHELL_RC" | if ! grep -q "ANDROID_HOME" ; then - cat dist/.baserc >> /home/"$BUILD_USER"/"$SHELL_RC" fi - -source /home/"$BUILD_USER"/"$SHELL_RC" +source "$SHELL_RC"