Prepend blank line in bashrc script (#6441)

* Prepend blank line in bashrc script * Update bash_profile.windows * Update bash_profile.mac
cyberbotics · Nov 14, 2023 · c6e0090 · c6e0090
1 parent 5b34a9a
commit c6e0090
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/scripts/install/bash_profile.mac b/scripts/install/bash_profile.mac
@@ -1,3 +1,4 @@
+
 #####################################################################################################
 # Uncomment / edit the following environment variables when the corresponding software is installed #
 #####################################################################################################

diff --git a/scripts/install/bash_profile.windows b/scripts/install/bash_profile.windows
@@ -1,3 +1,4 @@
+
 #####################################################################################################
 # Uncomment / edit the following environment variables when the corresponding software is installed #
 #####################################################################################################

diff --git a/scripts/install/bashrc.linux b/scripts/install/bashrc.linux
@@ -1,3 +1,4 @@
+
 #####################################################################################################
 # Uncomment / edit the following environment variables when the corresponding software is installed #
 #####################################################################################################