タグ: others

このタグが付いた記事の一覧 "others".

• 一時的にキーボードレイアウトを変更する方法

  2026年8月30日

  US配列に変更する、日本語配列に変更する、現在の設定を確認するを中心に、記事全体の背景・手順・確認方法・注意点を整理します。

• GitHub複数アカウント運用で、repo ownerから自動的にghのPATを選ぶ

  2026年8月26日

  前提、.gitconfig、credential.useHttpPath = true が重要を中心に、記事全体の背景・手順・確認方法・注意点を整理します。

• GitHubのMarkdownで使える「Alerts」記法とは？

  2026年8月26日

  標準Markdownではない、使用できるAlertの種類、複数行を書く場合を中心に、記事全体の背景・手順・確認方法・注意点を整理します。

• Bashの履歴ファイルを安全に手動編集する方法

  2026年8月24日

  Bashの履歴には「メモリ」と「ファイル」がある、まず全セッションの履歴を書き出して記録を停止する、1つのセッションから履歴ファイルを編集するを中心に、記事全体の背景・手順・確認方法・注意点を整理します。