pkg.go.dev 和 proxy.golang.org
简直有毒: 一经它 cache 就不能删除了 (唯一方法是 email 联系人工, 还不一定给删)
- 只要 直接或间接访问一次, 就会被它 cache
- 例如 go get / go install + 包网址
Recently github has a very cramped TOC size,
Some pages are very difficult to read.
this script (paste and run in browser F12)
help maximize the TOC div size.
//github readme.md toc maximize
with(document.querySelector('readme-toc .SelectMenu-modal.mt-1').style){
maxHeight=(document.documentElement.clientHeight-40)+'px'
### title bar color | |
# edit ~/.config/terminator/config | |
# or set in Preferences | |
[global_config] | |
inactive_color_offset = 0.939102564103 | |
scroll_tabbar = True | |
title_inactive_bg_color = "#555753" | |
title_inactive_fg_color = "#888a85" | |
title_transmit_bg_color = "#75507b" |
openwrt opkg
install not support specify package version.
ref:
https://stackoverflow.com/a/37938130/4896468
https://forum.openwrt.org/t/opkg-install-a-specific-package-version/33158/21
here is a workgroud to implement install specified version of package with opkg.
principle:
https://askubuntu.com/a/400273/413480
Another possibility to use the ping -D
option which gets you the timestamp as Unix time.
tilo@t-ubuntu:~$ ping google.com -D
PING google.com (173.194.33.73) 56(84) bytes of data.
[1388886989.442413] 64 bytes from sea09s15-in-f9.1e100.net (173.194.33.73): icmp_req=1 ttl=57 time=11.1 ms
[1388886990.443845] 64 bytes from sea09s15-in-f9.1e100.net (173.194.33.73): icmp_req=2 ttl=57 time=11.0 ms
# http*_proxy | |
export http_proxy=socks5://proxyAddress:port | |
export https_proxy=socks5://proxyAddress:port | |
# OR all_proxy | |
export all_proxy=socks5://proxyAddress:port | |
# ---------------- |
#!/usr/bin/awk -f | |
# from https://sites.google.com/site/dannychouinard/Home/unix-linux-trinkets/little-utilities/base64-and-base85-encoding-awk-scripts | |
# | |
# compatible with busybox: | |
# no od, awk not print \0 | |
function encode64() { | |
while( "hexdump -e ' \"%07.7_ax \" 16/1 \"%02x \" \"\n\"'" | getline ) { | |
for(c=9; c<=length($0); c++) { | |
d=index("0123456789abcdef",substr($0,c,1)); |