以下のようなウェブサイトを参照して、あまり理解しないまま、そのままコマンドを打ってログアウトしたら、月曜始まりになった。
$ sudo cp /usr/share/i18n/locales/ja_JP /usr/share/i18n/locales/ja_JP.bak
$ sudo gedit /usr/share/i18n/locales/ja_JP
というコマンドを実行すると、エディタが起動して、どうやら設定ファイルが出てきたので、指示通り、「LC_TIME」という見出しのセクションを探して、
first_weekday 2
first_workday 2
という二行を追加した。
この「コマンドラインから設定ファイルを編集する作業」をある程度自力でできると、Ubuntuをメインに使っても良いのかもしれない。ほんとか?! 知らんけど。
----------------------------
明窓浄机: GNOMEのカレンダーを月曜始まりにする http://cloud-buster.blogspot.com/2008/05/gnome.html
Question #6311 : Questions : GNOME Common https://answers.launchpad.net/gnome-common/+question/6311
Linux のカレンダーで週の最初を月曜日にする · GitHub https://gist.github.com/buzztaiki/d8f7470c2fa3b21926a3ec4326757ea8