首先不同网站,当然可以使用同一个邮箱,比如我的github,gitlab,bitbucket的账号都是monkeysuzie[at]gmail.com 这时候不用担心密钥的问题,因为这些网站push pull 认证的唯一性的是邮箱 比如我的windows 上 2个账号一个gitlab 一个github (用的都是id_rsa)
host github
hostname github.com
Port 22
host gitlab.zjut.com
import tiktoken | |
import langdetect | |
T = tiktoken.get_encoding("o200k_base") | |
length_dict = {} | |
for i in range(T.n_vocab): | |
try: | |
length_dict[i] = len(T.decode([i])) | |
except: |
#!/bin/bash | |
for key in "com\.apple\.application" "public\.font" "public\.folder" "public\.html" "com\.adobe\.pdf" "public\.audio" "public\.text" "public\.movie" "com\.apple\.alias-file" "public\.image" "public\.archive" "public\.item"; do | |
plutil -replace PreviewPaneSettings.$key.showQuickActions -bool NO ~/Library/Preferences/com.apple.finder.plist | |
done |
[ | |
{ | |
name:"HTML5", | |
uri:"http://www.w3.org/TR/html5/single-page.html", | |
category:"markup" | |
}, | |
{ | |
name:"HTML 5.1", | |
uri:"http://www.w3.org/TR/html51/single-page.html", | |
category:"markup" |