Fixing issue of sed. Updating to version 2.0.40

This commit is contained in:
Alejandro Lembke Barrientos 2024-04-10 08:03:53 +00:00
parent 1e5523c1f7
commit 66c96f1fe7
Signed by: aleleba
GPG Key ID: F48D7CDEB47942BD
2 changed files with 2 additions and 9 deletions

View File

@ -36,18 +36,11 @@ if [ "${HOME_USER-}" ]; then
# Copy the HOME variable from vscode user to HOME_USER
sudo su - ${HOME_USER} -c "echo 'export HOME=\"/home/\${HOME_USER}\"' >> ~/.bashrc"
# Copy the PATH variable from vscode user to HOME_USER
#PATH_LINE=$(grep "^PATH=" /home/vscode/.bashrc)
#sudo su - ${HOME_USER} -c "echo '${PATH_LINE}' >> ~/.bashrc"
# Copy the .bashrc file from vscode user to HOME_USER
sudo su - ${HOME_USER} -c "cat /home/vscode/.bashrc >> ~/.bashrc"
# Changing the property of the directory /home/${HOME_USER}
# sudo chown -R ${HOME_USER}: /home/${HOME_USER}/
# Changing the HOME_USER in the .bashrc file
sudo su - ${HOME_USER} -c 'sed -i "s|/home/vscode|/home/${HOME_USER}|g" ~/.bashrc'
sudo su - ${HOME_USER} -c 'sudo sed -i "s|/home/vscode|/home/${HOME_USER}|g" ~/.bashrc'
# Switch to the user specified by $HOME_USER and start an interactive shell session.
sudo su -l ${HOME_USER}

View File

@ -1 +1 @@
2.0.39
2.0.40