1. 安装iverlog和gtkwave
   $ sudo apt install iverilog
   $ sudo apt install gtkwave

virtualbox 识别usb

安装virtualbox最新版后需要安装其扩展包

1
2
3

$ whoami
zhangsan  
$ sudo emacs /etc/group

查找vboxusers:x:129:
在冒号后面添加当前用户名,比如上述的zhangsan

git 设置 socket5 代理

1
2

$ git config --global http.proxy 'socks5://127.0.0.1:1080'
$ git config --global https.proxy 'socks5://127.0.0.1:1080'

ubuntu 安装谷歌拼音输入法

1

$ sudo apt-get install fcitx-googlepinyin

• 在settings->Language Support里将keyboard input method system设置为fcitx
• 注销系统，再登录（最好是重启电脑）
• 在settings->Text Entry里，添加输入源，搜索google-pinyin添加即可