Linux workstation notes

General
1

Tips and tricks for

2

Change system default editor:

sudo update-alternatives --install /usr/bin/editor editor /bin/micro 50
sudo select-editor
3

Git:

This is a pretty simple

There is no tracking information for the current branch.
Please specify which branch you want to merge with.

even if you go pull

You asked to pull from the remote ‘–all’, but did not specify
a branch. Because this is not the default configured remote
for your current branch, you must specify a branch on the command line.

I think this occurs if you create a branch locally, but didn’t set the -u flag, which would copy the origin info. The fix is to

$ git push -u

Branch bias_analysis set up to track remote branch bias_analysis from origin.
Branch brake set up to track remote branch brake from origin.
Branch comparison set up to track remote branch comparison from origin.
Branch extnd_circ_leg set up to track remote branch extnd_circ_leg from origin.
Branch extnd_circ_leg_second_try set up to track remote branch extnd_circ_leg_second_try from origin.
Branch extnd_circ_leg_third_try set up to track remote branch extnd_circ_leg_third_try from origin.
Branch main set up to track remote branch main from origin.
Branch old set up to track remote branch old from origin.
Branch pipeline set up to track remote branch pipeline from origin.
Branch shifted_LEG_peak set up to track remote branch shifted_LEG_peak from origin.