O que eu quero fazer é definir uma variável de ambiente de localidade ( LC_TIME , eu acho) para algo que torna date em um bom formato ISO.
Veja algumas outras perguntas e respostas do Stack Exchange, como este , parece que estou no caminho certo, e que usar o en_DK locale deve fazer o que eu quero.
Mas o LC_TIME=en_DK date ainda me fornece o mesmo formato de data de antes. Também tentei definir LANG e LC_ALL e defini-las como en_DK.UTF-8 também e elas não têm efeito. Assim como uma verificação de sanidade mental, tentei definir todas essas coisas para ru_RU ou ru_RU.UTF-8 , pois isso teria um efeito mais óbvio, mas ainda assim não haveria nenhuma alteração.
Descobri que há um pacote chamado language-pack-ru e instalei isso e também executei sudo update-locale e sudo dpkg-reconfigure locales , mas ainda não houve alterações. Não encontrei um language-pack-dk . Meu arquivo /usr/share/i18n/SUPPORTED tem en_DK.UTF-8 UTF-8 , en_DK.ISO-8859-15 ISO-8859-15 , en_DK ISO-8859-1 , então, até onde eu saiba, eu deveria estar definido.
O que estou perdendo?
Parece que o comando date sem argumentos exibe o "date_fmt" do idioma, que não está no formato ISO 8601 no código do idioma en_DK. Você pode obter o resultado desejado adicionando um argumento FORMAT - algo como:
LC_TIME=en_DK.UTF-8 date +'%x %X'
Por favor, veja data do homem para mais sequências de FORMATO.