GitHubで付けたタグを削除する - アインシュタインの電話番号
タグの付け方については、この記事の最後の方でちょろっと書いたけど、間違って付けちゃったりしたタグを消す方法がわからなくて調べたのでメモ。 前提 こうやって付けたタグを消したい場合の話。 $ git tag -a 0.2 -m 'hogehoge' $ git push --tags タグの消し方 git tagに-dオプションを付けて消した上で、GitHubのクローン用アドレスに向かってpushすると消せるみたい。 $ git tag -d 0.2 $ git push git@github.com:ruedap/hello-github.git :0.2 git remoteにoriginとしてGitHubが登録されているなら、わざわざアドレスを打たずにoriginでいける。 $ git remote heroku origin $ git tag -d 0.2 $ git push o
src.rpm を作ろう
rpm の利点として、パッケージ間の依存関係を見てくれるとか、バージョンアップが容易とか、いろいろと見聞きするが、オレ的にはなんといっても綺麗サッパリとアンインストールできること、これが一番嬉しいね。 だってそうだろ？ rpm コマンドがどうやって依存関係を見ているか、といえば、パッケージの作成者が「オマエは hogehoge に依存してるんだぞコラ」と指定しているに過ぎないのだから。例えば、A というパッケージが B というパッケージ(というより B に含まれている何らかのファイル)に依存しているとしよう。A のパッケージ作成時に B に対する依存関係を指定するのを忘れたらハイそれまでよ。A は B の有無に関わらずインストールできるだろう。だが B がインストールされていなければ、もちろん正常に動きはしない。 つまるとこ、rpm による依存関係の管理なんて、人為的なミスをいくらでも含ん
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
LibreOfficeのビルド方法 - The Document Foundation Wiki
