[HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Services\LxssManager]
"DistributionFlags"=dword:fffffffd
Disable appending Windows PATH:
[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Lxss]
"AppendNtPath"=dword:00000000
sudo vi /etc/hosts
# add hostname
127.0.0.1 localhost MYHOSTNAME
sudo vi /etc/inputrc
#add or uncomment line
set bell-style none
~/.gitconfig
sudo add-apt-repository ppa:ubuntu-toolchain-r/test # latest GCC
sudo apt-get update
sudo apt-get install build-essential git gcc-7 g++-7 gcc-6 g++-6
sudo apt-get install libboost-dev
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.8 60 --slave /usr/bin/g++ g++ /usr/bin/g++-4.8
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-6 60 --slave /usr/bin/g++ g++ /usr/bin/g++-6
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7
sudo update-alternatives --install /usr/bin/clang clang /usr/bin/clang-5.0.0 60 --slave /usr/bin/clang++ clang++ /usr/bin/clang++-5.0.0
sudo update-alternatives --config gcc
gcc --version
wget https://cmake.org/files/v3.11/cmake-3.11.0-Linux-x86_64.sh
sudo sh cmake-3.11.0-Linux-x86_64.sh -- --skip-license --prefix=/usr/local
Run wsl_ssh_setup.sh (source code below):
wget https://gist.githubusercontent.com/mloskot/aa24d374590d001c9fc8548fcf8c25e6/raw/ecb80e971130a8c8b3a7cd1fdde31b004751bdf0/wsl_ssh_setup.sh && sudo bash wsl_ssh_setup.sh
WARNING Powerline is bloody slow in large git trees eg. Boost repository
- Install Powerline fonts on Windows
git clone https://github.com/powerline/fonts.git
cd fonts
./install.ps1
Go to WSL Bash command prompt, Properties and change font to "DejaVu Sans Mono for Powerline".
- Install Powerline in WSL
sudo apt-get install build-essential git python-pip
cd ~
mkdir src
cd src
git clone https://github.com/banga/powerline-shell.git
cd ~/src/powerline-shell
cat config.py.dist > config.py
./install.py
- Configure Powerline in WSL
vim .bashrc
# Copy & paste this at the end of the .bashrc
function _update_ps1() {
PS1="$(~/src/powerline-shell/powerline-shell.py $? 2> /dev/null)"
}
if [ "$TERM" != "linux" ]; then
PROMPT_COMMAND="_update_ps1; $PROMPT_COMMAND"
fi
- Colours: Monokai
- Font: Consolas or Fira Code