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; }

12/18/2019

Remove sudo password

1. sudo visudo

2. Change to:
%sudo   ALL=(ALL) NOPASSWD:  ALL

3. sudo -k

4. Verify: sudo ls

11/20/2019

Ubuntu 18.04 gnome terminal tab bar height too high


cat ~/.config/gtk-3.0/gtk.css 
terminal-window notebook > header.top button {
  padding: 0 0 0 0;
  background-image: none;
  border: 0;
  margin-right: 10px;
}
terminal-window notebook > header.top > tabs > tab {
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}
terminal-window notebook > header.top > tabs > tab label {
  padding: 0 0 0 0;
  margin: 0 0 0 0;
  font-size: 10px;

}