ハック 2016.04.20 146gitのプロキシ設定 ツイート シェア はてな git config --global http.proxy http://proxy.example.com:8080 git config --list つくってみた!社内のトイレ難民解決!トイレ空き状況確認システムを作ってみた社長が「寒い寒い」というので社長席の温度をRaspberry Piで監視してみた。Amazon Polly と Slack を使って Alexa へ (物理的に) 話しかけるシステムを作ってみた関連記事 gitの初期設定 BeansTalkでプロキシサーバーにnginxを使う方法 【bash】ターミナル上でプロキシを通す gitのauthorの確認と変更 curlのプロキシを通す git config –global で追加した設定を削除する方法