源
中科大
https://files.cnblogs.com/files/Searchor/changesource.sh
不好用
https://files.cnblogs.com/files/Searchor/changsource.sh
install
apt-get install build-essential -y
apt-get install git -y
apt-get install vim -y
apt-get install fswatch -y
apt-get install p7zip-full -y
apt-get install cmake -y
apt-get install net-tools -y
apt-get install tmux -y
apt-get install gawk -y
apt-get install tree -y
apt-get install flex -y
apt-get install bison -y
apt-get install exfat-utils -y
apt-get install httrack -y
apt-get install fcitx-bin -y
apt-get install fcitx-table -y
apt-get install ttf-mscorefonts-installer -y
apt-get install fontconfig
apt-get install terminator -y
apt-get install lua5.3 -y
apt-get install curl -y
apt-get install fzf -y
apt-get install expect -y
apt-get install openjdk-8-jdk -y
apt-get install nodejs -y
输入法
https://pinyin.sogou.com/linux/?r=pinyin
https://pinyin.sogou.com/linux/help.php
去除topbar
What finally worked for me was to install and activate
gnome-shell-extension-pixelsaver
AND run
gsettings set org.gnome.Terminal.Legacy.Settings headerbar false
in the terminal, then restart the shell (Alt-F2, r).
Install Unite extension from GNOME extension store and modify its settings according to your need.
Remember to restart GNOME shell by pressing Alt+F2 and then running r command.
https://askubuntu.com/questions/1230157/how-to-remove-title-bar-from-terminal-on-the-new-ubuntu-20-04
https://askubuntu.com/questions/1291744/how-to-hide-window-title-bar-in-20-04