Gitでファイル名やディレクトリ名 ディレクトリの位置を変える方法 #ファイル名変更 #a.txt -> b.txtに変更 $git mv a.txt b.txt #ディレクトリ名変更 #a -> b $git mv a/ b/ #ファイル位置変更 #./a.txt -> ./b/a.txt $git mv a/a.txt b/a.txt git mv コマ…

間違ってファイルをaddしてしまい 取り消すのどうするんだっけ？とド忘れしてしまったので 調べたついでにメモ $git reset head ファイル名 ファイル名の所には厳密にはファイルパスですね それでaddを取り消すことができますgit statusをよくみたら # On br…

ApacheTomcatでJavaDB Derbyを動かすときに パスの指定でつまずいたのでメモ この記事のディレクトリ構造はMac用になります。 Windowsでの動作は確認してませんのでWindowsではできないかもしれません。 以下のディレクトリに移動し、このディレクトリの.jar…

Gitをリセットする方法です 以下のコマンドでプロジェクトをHEADの状態に戻すことができます。 $git reset --hard head 上のコマンドでは git logの一番上つまりHEADの状態に戻すことができます。 git logのHEADよりも前に戻したい場合は HEADの後ろに「^」…

Gitのrebaseコマンドで失敗した時にrebase前に戻すコマンド $git reset --hard ORIG_HEAD で、失敗した直後なら戻せます。 戻せない時はたぶん、commitなどでheadを変更したりすると戻せないんじゃないですかね（まだちゃんとわかってない）