SSHキー

SSHキーを管理 — 表示、生成、Gitおよびリモートサーバーに使用。

SSHキーとは?

SSHキーは、パスワードを入力せずにリモートサーバーやサービスに身元を証明する方法です。ペアで動作:秘密キーはマシン上に留まり、公開キーはサーバー(GitHubやリモートLinuxボックスなど)と共有します。

接続すると、サーバーは秘密キーがファイル上の公開キーと一致するかを確認します。一致すれば、パスワード不要でアクセスできます。これはパスワードよりも安全で、1日数十回発生するGit操作に特に便利です。


既存のSSHキーを表示

1DevToolはSSHキーマネージャーを開いたときに~/.sshディレクトリを自動的にスキャンします。開くには、設定 → SSHキーに移動します。

システム上で見つかったすべてのキーペアのリストが、キー名、アルゴリズム、作成日とともに表示されます。GitHubやその他のサービスにすでにSSHキーを設定している場合、インポート不要でここに表示されます。


新しいキーを生成

まだSSHキーがない場合、または特定のサービス用に別のキーが欲しい場合:

  1. + キーを生成をクリック
  2. アルゴリズムを選択:
    • Ed25519 — 推奨。RSAより短く、高速で、より安全。
    • RSA 4096 — Ed25519をサポートしない古いサーバーと互換。
  3. オプションでパスフレーズを追加 — これによりディスク上の秘密キーが暗号化され、ファイルにアクセスされても保護されます。
  4. 生成をクリック

キーペアは標準的な命名で~/.ssh/に保存されます(id_ed25519およびid_ed25519.pub、または類似)。


GitHubまたはGitLabに追加

キーを生成した後、GitHubまたはGitLabに公開キーを知らせる必要があります:

  1. 1DevToolのキーの横にある公開キーをコピーをクリック
  2. github.com設定 → SSHおよびGPGキー → 新しいSSHキーに移動
  3. 名前を付け(例:「MacBook Pro 2024」)、公開キーを貼り付けてSSHキーを追加をクリック

GitLabの場合:Preferences → SSH Keysに移動し、同じ手順に従います。


GitにSSHキーを使用

リポジトリからプッシュ・プルするときに1DevToolにどのSSHキーを使用するかを伝えるには:

  1. Gitパネルを開く
  2. 上部付近のアカウントバッジ(ユーザー名またはアバター)をクリック
  3. このリポジトリに使用するSSHキーを選択

設定はリポジトリごとに保存されます。


リモートサーバーに接続

SSH経由でプロジェクトを追加するとき(+SSH経由で追加をクリック)、ドロップダウンリストから接続に使用するSSHキーを選択できます。1DevToolはそのサーバーに接続するたびにそのキーを使用します。

SSHキー管理
SSHキーを自動スキャン