/dotfiles

My personal configuration files

Primary LanguageShell

dotfiles

My personal configuration files

Useful tools to setup

  • 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

Proxy setup in IIT-KGP

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/";