8/19/2021

Grub loader set default to Windows boot manager

 If you have dual boot setup, one of the frustrating things that you'll immediately notice is that Ubuntu is now set as the default OS in the Grub loader. There is an easy way to switch back to using Windows as the default.

sudo emacs /etc/default/grub

Change: GRUB_DEFAULT=? (? is the 0-based index of the Grub menu)

sudo update-grub

This is for grub-mkconfig (GRUB) 2.02-2ubuntu8.23

Ubuntu 18.04

8/15/2021

Faststone Image Viewer Frequently Commonly Used Commands

 Alt+Left/Alt+Right: Move to the previous/next folder, or previous/next images.

1-9: Zoom the image to 100% ... 900%

=: Zoom in

-: Zoom out

i: Image property

x: Crop image

c: Copy to folder

m: Move to folder

d: Draw board

l: Rotate left

r: Rotate right

h: Flip horizontally

v: Flip vertically

w: Open Windows explorer


8/11/2021

Firefox backspace as history back

 about:config

Search for backspace and change backspace_action to 0

8/08/2021

Fix Gerrit login with Google OAuth 2: com.google.gerrit.server.account.AccountException: Cannot assign external ID to account 1000007; external ID already in use.

We have figured out to fix this issue by performing actions in the All-Users repos in Server.By using this workaround users can access the Gerrit application back.


git clone /gerrit/gerrit/git/All-Users.git/

cd All-Users/

git fetch origin refs/meta/external-ids:refs/meta/external-ids

git checkout refs/meta/external-ids

git log

git show fa89bc7791e1dfd3fb6c595b3cf9969a0b60beaa # the sha should be the one when the account was created

rm files found in the git show log

git add *

git commit -m "Fix the external id error"

git push origin HEAD:refs/meta/external-ids (sudo maybe needed)


You may also need to modify gerrit site: mv db/account_patch_reviews.h2.db db/account_patch_reviews.h2.db.backup. rm -rf cache/*

Restart gerrit