3/12/2020

A tool to adjust font ttf line gap size

https://github.com/source-foundry/font-line

Windows Eclipse/Console font to use: Hack High (font size: 9)

The Consolas font is too short. The solution is to use the Hack High font.
In One Drive | cygwin_home | Hack-font.zip

https://github.com/equwal/alt-hack0 (need to adjust the line height by using the tool in the Hack repository)
https://github.com/source-foundry/Hack

The line height (gap) or slashed zero can be customized by using the hack repository. Don't need to use fontforge.

3/08/2020

bazel build cannot run because of limited memory

Use --jobs=N to reduce the number of concurrent number of jobs to reduce memory useage

3/06/2020

Bazel build cannot create symbolic link in VirtualBox shared folder

cannot create symbolic link bazel-bin -> /home/liangzou/.cache/bazel/_bazel_liangzou/766790ddbe8cf965fa78098dbd133c63/execroot/__main__/bazel-out/k8-opt/bin: /home/liangzou/gitreview/deepmap/bazel-bin (Protocol error)

cannot create symbolic link bazel-bin -> /home/liangzou/.cache/bazel/_bazel_liangzou/766790ddbe8cf965fa78098dbd133c63/execroot/__main__/bazel-out/k8-opt/bin: /home/liangzou/gitreview/deepmap/bazel-bin (Operation not permitted)


  1. Run the VBoxManage.exe command: for example D:\Programs\Oracle\VirtualBox>VBoxManage.exe setextradata VBoxInternal2/SharedFoldersEnableSymlinksCreate/ 1
  2. Restart the VirtualBox with Administrator privilege. You can right click on the Oracle VM VirtualBox, choose 'Run this program as an administrator' in the Compatibility tab.

2/21/2020

Windows 10 startup folder

To start an application automatically, move the shortcut of the app to the start up folder.
To get the startup folder: win key + R, then run shell:startup

2/10/2020

Windows cannot open Store in China

Search for Internet Options and open it.
Internet Options | Advanced | Check Use TLS 1.2



12/25/2019

How to adjust firefox address bar and search bar width

If the bookmark tool bar is wrapped and you don't like that, you can use the following method to reduce the address bard and the search bar width:

You can set a maximum width for both/each of the bars with code in userChrome.css below the default @namespace line. With this method, the widths will remain fixed until you change them in the userChrome.css file.

    The customization files userChrome.css (interface) and userContent.css (websites) are located in the chrome folder in the user profile folder.
        See - http://kb.mozillazine.org/userChrome.css
        Also see - http://kb.mozillazine.org/Editing_configuration 

Below this line in userChrome.css:
@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only needed once */

add one or both of these lines, setting the pixels (i.e., 400px, 200px) to the width you want; include the # sign at the beginning of the line(s):

#urlbar-container { max-width: 400px !important; }


#search-container { max-width: 200px !important; }