This is just a short collection of VSCode commands and tricks which I personally did not know after switching from Eclipse ID.
Open Command Palette
Most things in VSCode can be controlled via the Command Palette:
Ctrl + Shift + P
Tag and Push
To tag the new release and push the tag to Github open the command palette and use
Git: Create Tag
-> choose your projec
-> enter teh tag name
Next you can push your new local tag to github with the command
Git: Push (Follow Tags)
Clean Java Projects
In some situations it may be helpful to rebuild all Java projects in your workspace
Java: Clean Java Language Server Workspace
SSH Key – Github Pull hangs…
In case you run into a scenario that your build-in
git pull command within VSCode hangs forever, this may be an issue related to the ssh-agent (find background here).
You can test if yoru ssh-agent is running (which is necessary for VSCode) by checking the following command in a terminal:
$ ssh-add -l The agent has no identities.
The result here shows, that not SSH IDs are available and this causes the hang in VSCode.
To solve such a situation, you can open a Terminal and enter
$ eval `ssh-agent` $ ssh-add
This will promt you for the password of your ssh private key and register the ssh-agent with the SSH id. Now you can start VSCode:
This way VSCode will inherit the environment variables it needs to get key services from ssh-agent, and therefore will not prompt for your passphrase so long as the ssh-agent process continues running.
To automate this you can add the following script into your
if [ -z "$SSH_AUTH_SOCK" ]; then # Check for a currently running instance of the agent RUNNING_AGENT="`ps -ax | grep 'ssh-agent -s' | grep -v grep | wc -l | tr -d '[:space:]'`" if [ "$RUNNING_AGENT" = "0" ]; then # Launch a new instance of the agent ssh-agent -s &> .ssh/ssh-agent fi eval `cat .ssh/ssh-agent` fi
Find details also here.