粗大メモ置き場

個人用,たまーに来訪者を意識する雑記メモ

GitHub

GitHub ActionsとMarkdownで静的サイト作成 ~ mdbook 編~

目的 mdbook Pros and Cons Dockerを用いた最小動作 Github Actionsを用いたドキュメントのHost ファイル構造 .github以下のActionsについて gh-pagesの設定 TODO・その他 目的 Markdownで書いた文書を静的サイトとしてまとめ上げたい。 そしてそのままそれ…

Git cloneでPermission Denied(publickey)の対処法< SSH Keyを設定する >

jetsonのセットアップ中パッケージのCloneに困ったという記事です。より具体的にはYOLOv2のROSバージョンを使おうとしたのですがgit cloneでPermission Deniedと喰らいました。 原因はjetsonのSSHキーを設定していなかったというだけだったのでわかっている…

GitHubで部分的にフォルダをダウンロードする方法(含Windows版)

最近ファイル管理でぼちぼちGitを使い始めていますが Dropbox等,他のクラウドサービスとの違って他のPCからデータに簡単にアクセスできないのが面倒ですね。 Gitで管理するのはソースだけにすべきですが,フォルダ分離するの少し面倒くさい… GitHubのWebサ…

Git Desktopでpushが出来ない(大きいファイルをpushしてしまった時)

いつもgitを間違えてギットと読んで後輩に指摘されるマンです。gitあんまり馴染みがなかったのでDesktopアプリを主に使うマンなんですが突然Git Desktopでpush(sync)出来ない事態に襲われました。 メモしながらやったので結果だけ知りたい方は(危険です)解…