Linux GNOMEのキーボードレイアウトをコマンドで切り替える Ubuntu 20.10の日本語Remixを作っている時、インストール後の初回起動時にキーボードレイアウトが正しく設定されないことがある、という問題が出ました。 ストレージの速度にもよるのか、問題が出たり出なかったりするので、とりあえ... 2020.11.08 Linux備忘メモ
備忘メモ PHPでランダムな文字列を生成する（YouTubeの動画IDみたいな文字列） 以下のコードで、PHPでランダムな文字列（YouTubeの動画IDみたいな文字列）を生成できました。 <?php function generateRandomString($length = 10) { return ... 2020.11.08 備忘メモ
Linux Linux 備忘メモ