Ark's Blog

数学とか競プロとかCTFとか参加記とか備忘録とか

ようこそ

2018-12-05から1日間の記事一覧

git stash save は deprecated。pushを使おう

Git

git stashの使い方を見ようとgit stash --helpをしたら # -- snip -- save [-p|--patch] [-k|--[no-]keep-index] [-u|--include-untracked] [-a|--all] [-q|--quiet] [<message>] This option is deprecated in favour of git stash push. It differs from "stash pus</message>…

mkdir + cd

mkdirとcdを同時にしたいときに毎回 $ mkdir hoge $ cd hoge をするのがめんどいので、これをまとめて実行させる。 自分的に落ち着いた手段は.bashrcに以下を追加する。 function mkcd() { mkdir $@ && cd $_; } あとは $ mkcd hoge でOK。 $ mkcd -p aaa/bb…