[ Content | Sidebar ]

Archives for October, 2021

How I Accidentally Discovered Gnome’s Emoji Keyboard

October 31st, 2021

After I updated Gnome recently I was alarmed to discover my usual C-. key binding in Emacs was broken and also now stealing the keyboard input. Turns out it’s Gnome/Ibus’s emoji input method which was previously bound by default to C-Shift-e and I was completely unaware of. It’s quite fun! (You can change the shortcut key to whatever you want in ibus-setup.)

Filed in linux - Comments closed

Shengsi Island

October 3rd, 2021

Got out of Shanghai for the first time in 2021 last weekend. Not far though, just to a little island off the coast. You can get there quite conveniently with a combined coach and ferry ticket from Nanpu Bridge tourist coach centre. The ferry actually leaves from another island, Yangshan island, which is home to a huge container port and connected to the mainland by a long sea bridge.

There’s enough small attractions to spend a weekend, including beaches, temples, and a lot of cliffs, which you can see pictures of below. I liked the relaxed style of the little fishing villages.