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)
Good news: I've found a Windows solution (https://serverfault.com/questions/345341/cant-create-symlinks-in-virtualbox-shared-folders):
- Run the VBoxManage.exe command: for example D:\Programs\Oracle\VirtualBox>VBoxManage.exe setextradata
VBoxInternal2/SharedFoldersEnableSymlinksCreate/ 1 - 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
To get the startup folder: win key + R, then run shell:startup
2/10/2020
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; }
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
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;
}
Subscribe to:
Posts (Atom)
