Permissionを変更することを考える． 直感的（？）なのはこう書くこと： $ find . -type f -print | xargs chmod 644 $ find . -type d -print | xargs chmod 755 -maxdepthも適宜つける。 パイプなんてカッコ悪いとかいう変な人は $ find . -type f -exec c…
こちらの記事の続きです． GitHubにデプロイする まずは，GitHubにリポジトリを作る． リポジトリの名前はユーザ名.github.ioとすること． README.mdなどは要らないのでチェック外しておく リポジトリを作ったら，gitのリンク(git@github.com:ユーザ名/ユー…
以下を順番にやればGitHub Pagesの公開ができます． rubyの環境構築 まずはbrewでrubyとrbenvをインストール $ brew install ruby $ brew install rbenv rbenvを初期化 & 正しくインストールされたかチェック $ rbenv init $ curl -fsSL https://github.com/…
エラーを無視する コマンドsomethingが失敗する場合， RUN something; exit 0 とすると無視できる． (参考: docker - Dockerfile build - possible to ignore error? - Stack Overflow ) ENTRYPOINT, CMD, RUNの違い？ RUN 新しいレイヤーでコマンドを実行し…
lsをカラフルにする /root/.bashrcに以下を追記する export LS_OPTIONS='--color=auto' alias ls='ls $LS_OPTIONS' docker内の行数とターミナルの行数が合ってないとき docker run -it -e COLUMNS=$COLUMNS -e LINES=$LINES -e TERM=$TERM -it /bin/bash で…
基本の設定 .spacemacsにおいて，dotspacemacs-line-numbersが書かれている部分を検索し，値をnilからtに変える． dotspacemacs-line-numbers t 行番号とコードとの間にスペースが欲しい場合 .spacemacsのuser-config部分に以下を記述する． (unless (displa…
特定ファイルの変更履歴を見る git log -p /path/to/file 特定ディレクトリの変更履歴も同様に行ける Gitで特定ファイルの変更履歴をみる - Bye Bye Moore man git-log してみると，full-diff optionの説明があり，そこにpオプションの動作についての記述が…
export PIPENV_VENV_IN_PROJECT=1 を .bashrcとかに書いておく． fishユーザなら.config/fish/config.fishに set -x PIPENV_VENV_IN_PROJECT 1 と書いておく
普通にリダイレクトしようとすると無理 $ sudo echo "hoge" > fuga.txt zsh: 許可がありません: fuga.txt (´・ω・｀) 解決策1 $ sudo sh -c "echo 'hoge' > fuga.txt" 解決策その2 $ sudo echo "hoge" | sudo tee fuga.txt teeコマンドについては以下参考 【…
GitHub上に自分のブログとかを置いてしまえる， GitHub Pagesとやらがある． CVとか，よくここに置いてある気がする． pages.github.com その中で，ブログ作成にJekyllが推薦されていた． ジキルとハイドのJekyllかな？初めて聞いた． jekyllrb.com rubyで動…
flycheckがオススメ． checkerは，言語によっていくつか選べる． python3の場合，私はとりあえずflake8を利用している． $ sudo pip install flake8 でflake8モジュールをインストール line too longのwarning等がうざいので， ↓を参考にして諸々の厳しすぎ…
$ lsblk NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT sda 8:0 0 489.1G 0 disk ├─sda1 8:1 0 425.4G 0 part / ├─sda2 8:2 0 1K 0 part └─sda5 8:5 0 63.7G 0 part [SWAP] sdb 8:16 0 2.7T 0 disk list blockすると2.7TiBあるHDDに対応する，sdbが見える． $ df…
powerlineって何? ↑こういう感じの，一度はやってみたくなるやつ． iTerm2 使ってる人がぶつかる壁 何もせずにpowerlineのテーマとか適用すると， "▶"に対応する文字が化けてしまい，残念な感じになる． 解決策 "▶"のような，powerlineで使われる特殊なフォ…
Homebrew+Caskについて "brew"と"brew cask"って何が違うの？ homebrew - What is the difference between `brew` and `brew cask`? - Ask Different 要約： Homebrew-CaskはHomebrewの拡張． "brew cask": GUIアプリ, "brew": CUIアプリを主に扱う． "brew …
wgetってなに? wgetはlinuxのコマンドで、非対話型のダウンローダーです。 最低限の使い方 例えばダウンロードしたいzipファイルが http://hostname/hoge.zip にある場合、 $ wget http://hostname/hoge.zip とすることで、ローカルにhoge.zipが保存されます…
まずlocaleについて勉強しておく↓ eng-entrance.com あとは， どこで読んだか忘れたけど，とりあえず ~/.bashrcに(fishなら~/.config/fish) export LANG=ja_JP.UTF-8 export LC_CTYPE=ja_JP.UTF-8 って書いておけば， $ locale LANG="ja_JP.UTF-8" LC_COLLAT…
うちの大学はネットワークが学内で閉じており、学外からの接続手段としてJuniper Networksのsslvpnを採用しているので、これを使わねばならない。 Chromeでsslvpnサービスを提供してるサイトへ飛んで、「ネットワークコネクト」を実行するとJRE がインストー…
Apache導入、CGIスクリプトの作成とファイルアクセス そもそも、なぜApacheが必要なのか WebブラウザにHTML等要求されて、応答を返すなどという仕組みは(当たり前だが)本来備わっていないので、これを可能にするApacheというWebサーバーを導入することが必要…
screen実行時にbashになっていない場合もこれで解決。 現在のシェルを確認。 $ echo $SHELL もしくは $ cat /etc/passwd | grep [ユーザー名] これで何も表示されない場合は、default shellが設定されてない。 設定するには 1. /etc/passwdを直接編集(やった…
動的計画法(DP, Dynamic Programming)について 最近やたらと動的計画法という単語を聞くので、基本をまとめておく。 動的計画法とは？ 動的計画法（どうてきけいかくほう、英: Dynamic Programming, DP）は、計算機科学の分野において、アルゴリズムの分類の…
qiita.com ↑これ見てやれば楽勝(だと思う。) 注意点は、公開鍵と、sshディレクトリのpermissionだろうか。 基本的な流れは 1.ローカルで公開鍵と秘密鍵のペアを作成。 2.公開鍵を対象サーバーの ~/.ssh/authorized_keys に追記。(permissionに気をつけて) $ …
自宅から学内LANに入るため、さぁ〜てUbuntuでVPN接続を設定しますか。 と、ものの数分で終わらせる予定だったのですが… 結果的に1時間くらいもがく羽目になりました。 ちなみに Ubuntu 16.04 LTS 64bit です。 まず、学内ではCiscoのVPNを使っているので、C…
