The Formats option allows users to choose which unit system (metric or imperial), paper size, and date and time format to use according to the standards in use in a territory.
We decided to call this option Formats which is how it is named in GNOME Settings and close to how it is named in the Windows installer.
For example, the USA and United Kingdom, two English-speaking countries, have different standards:
|Date & time||3/17/2017 3:56 PM||17/03/2017 15:56|
|First day of the week||Sunday||Monday|
We want to take into account people travelling or living in a territory in which they prefer to have the interface in their own language rather than the territory's language but want to use the local formats. For example, a Chinese person travelling to the US for business might prefer Tails in Chinese but Sunday as the first day of the week to coordinate with her clients.
That's why we decided to have this option in the Greeter for more user control, like configured usually in the installation of operating systems (like Debian and Windows).
Now, this flexibility can also lead to confusion. For example, a French person traveling to Japan for business might want Sunday as the first day of the week to coordinate with her clients but might not be able to read the names of the days in Japanese.
In Windows, these problems are solved by having very fine-grained settings for each of the settings and allowing to change them in the session without restarting.
Unfortunately, GNOME Settings doesn't have this:
So, the confusion experienced by the French person choosing Japanese formats cannot be corrected from inside the session in GNOME.
Still, we believe that:
- Having that flexibility is worth it and allowed by most other operating systems.
- Tails is an operating that is meant to be restarted quite often
(let's say at least once a day), and in the rares scenarios where
explicitly setting a format leads to confusion:
- the confusion would be annoying but not critical
- the user would likely learn from her mistake and not set the format the next day.
Ideally, the limitations of GNOME Settings would not exist but as of now we still prefer offering flexibility in the Greeter and a simple model similar to the one of Windows and GNOME. Even if we are conscious that it might lead to confusion in some cases, we prefer that to having no flexibility or having a more complex model as discussed in February 2017.