My personal configuration files
-
Kitty: Fast terminal emulator with interesting features and great color themes readily available
-
Fish: Interactive shell with vim bindings
-
Fusuma: For gesture recognition in Linux
-
VIM: Manually compile the latest version with all patches. Add support for clipboard by installing vim-gtk or vim-gnome
In ubuntu versions above 18.04, setting network proxy in system settings sets the proxy for terminal by default. However, proxy for apt still needs to be setup.
- Terminal proxy in ubuntu <= 16.04: Add the following to bashrc
export http_proxy="http://172.16.2.30:8080"
export https_proxy="http://172.16.2.30:8080"
- Apt proxy: Add the following to /etc/apt/apt.conf
Acquire::http::No-Cache true;
Acquire::http::Pipeline-Depth 0;
Acquire::http::Proxy "http://172.16.2.30:8080/";
Acquire::https::Proxy "https://172.16.2.30:8080/";
Acquire::ftp::Proxy "ftp://172.16.2.30:8080/";
Acquire::socks::Proxy "socks://172.16.2.30:8080/";