設定画面では、自分の表示名の更新、パスキーの管理、環境変数の登録を行えます。
設定 を開きます。プロフィール セクションを開きます。同じ表示名がすでに使われている場合は保存できません。
注意:表示名はランキングなどを通じて他のユーザーにも公開される情報です。氏名や所属組織、学籍番号など、個人を特定できる情報は入力しないでください。
パスキー セクションでは、登録済みパスキーの一覧確認、追加、削除ができます。
ブラウザや端末の認証機能を使って登録します。
環境変数 セクションでは、名前と値を指定して自分用の環境変数を保存できます。
_ を使う前提です。