INCL-USER-ENV.bash

#!/bin/bash

################################################################################

# Install the SSH deploy key of the GitLab repository.
mkdir -p ~/.ssh/
chmod 700 ~/.ssh/
cp ./.ssh/ros2docker_id_rsa ~/.ssh/
chmod 600 ~/.ssh/ros2docker_id_rsa
if [ ! -f ~/.ssh/config ]; then
  touch ~/.ssh/config
fi
if grep -E -q '^Host github\.com' ~/.ssh/config; then
  echo "SSH configuration for 'github.com' is already included in '~/.ssh/config'."
  echo "Manually add 'IdentityFile ~/.ssh/ros2docker_id_rsa' under 'github.com' if the connection is refused."
else
  echo "Add new SSH configuration for 'github.com' in '~/.ssh/config'.";
  cat <<'EOF' >> ~/.ssh/config;
Host github.com
  Hostname github.com
  IdentityFile ~/.ssh/ros2docker_id_rsa
  StrictHostKeyChecking no
  User git
EOF
fi

################################################################################

# Modify the HTTPS URL of the Git remote origin to use SSH:
# Enable authentication by using '~/.ssh/hsr-id_rsa' instead of a GitLab account.
# GIT_HTTPS_URL=`git config --get remote.origin.url`
# GIT_SSH_URL=`echo ${GIT_HTTPS_URL} | sed -e 's/^https\{0,1\}:/ssh:/'`
# if [ "${GIT_HTTPS_URL}" != "${GIT_SSH_URL}" ]; then
#   echo "Update the Git remote origin from '${GIT_HTTPS_URL}' to '${GIT_SSH_URL}'."
#   echo "Execute 'git config --get remote.origin.url' to manually confirm if needed."
#   git remote set-url origin ${GIT_SSH_URL}
# fi

################################################################################

# Download and initialize all the Git submodules recursively.
# https://git-scm.com/book/en/v2/Git-Tools-Submodules
git submodule update --init --recursive

################################################################################

# Setup the Bash shell environment with '~/.bashrc'.

# Force color prompt in terminal.
sed -i 's/#force_color_prompt=yes/force_color_prompt=yes/' ~/.bashrc