Fixing issue of sed. Updating to version 2.0.40

entrypoint.sh

@@ -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}

version.txt

@@ -1 +1 @@
-2.0.39
+2.0.40