Windows
Windows10
BashOnUbuntuOnWindows

日本のリポジトリに変更

sudo sed -i -e 's%http://.*.ubuntu.com%http://ftp.jaist.ac.jp/pub/Linux%g' /etc/apt/sources.list

最新版の git をインストール

# Ubuntu 
sudo add-apt-repository ppa:git-core/ppa
sudo apt update; sudo apt install git

github と SSH 接続設定

  1. 以下を実行
ssh-keygen -t rsa -C "your_email@example.com"
  1. [~/.ssh/id_rsa.pub]の内容を https://github.com/settings/keys に貼付

  2. ssh -T git@github.com

最新版の Fish shell のインストール

sudo apt-add-repository ppa:fish-shell/release-2
sudo apt-get update
sudo apt-get install fish

fish のパッケージマネージャ fisherman をインストール

curl -Lo ~/.config/fish/functions/fisher.fish --create-dirs https://git.io/fisher

cmder から fish を起動する方法

# Setup -> Startup -> Tasks -> Commands
## Task parameter
-icon "%USERPROFILE%\AppData\Local\lxss\bash.ico"

## Start console
C:\Windows\System32\bash.exe ~ -c fish -cur_console:p

+lua の vim8.0 をビルド

最新版の nginx をインストール

  1. nginx 公式の PGP キーを追加
curl http://nginx.org/keys/nginx_signing.key | sudo apt-key add -
  1. [/etc/apt/sources.list] に以下を追加
# `codename` is 'lsb_release --all -> Codename'
deb http://nginx.org/packages/debian/ codename nginx
deb-src http://nginx.org/packages/debian/ codename nginx
  1. `sudo apt install nginx'

最新版の mysql をインストール

  1. https://dev.mysql.com/downloads/repo/apt/ から 佐新板の .deb をダウンロード
# リポジトリ追加
wget http://dev.mysql.com/get/mysql-apt-config_x.x.x-x_all.deb
sudo dpkg -i mysql-apt-config_x.x.x-x_all.deb

# インストール
sudo apt update
sudo apt install mysql-server

# バージョン確認
mysql --version (2017/10/11)
> mysql  Ver 14.14 Distrib 5.7.19, for Linux (x86_64)
> using  EditLine wrapper

# 起動
sudo service mysql start
mysql -u root -p

最新版の PHP をインストール

sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install php7.1

anyenv のインストール

pyenv のインストール

conda のインストール