bug#37702: Suggestion for 'df' utility
On Fri, Jul 10, 2020 at 04:29:21PM -0700, Bryce Harrington wrote: > On Mon, Jun 01, 2020 at 09:26:14AM -0700, Bryce Harrington wrote: > > On Mon, Jun 01, 2020 at 09:04:26AM -0700, Bryce Harrington wrote: > > > On Sun, May 31, 2020 at 01:49:24PM +0100, Pádraig Brady wrote: > > > > On 31/05/2020 10:36, Bernhard Voelker wrote: > > > > > What about to start with this? > > > > > > > > > >$ GIT_PAGER= git -C gnulib diff > > > > >diff --git a/lib/mountlist.c b/lib/mountlist.c > > > > >index 7abe0248e..5f6249dec 100644 > > > > >--- a/lib/mountlist.c > > > > >+++ b/lib/mountlist.c > > > > >@@ -164,6 +164,9 @@ > > > > > > > > > > #define ME_DUMMY_0(Fs_name, Fs_type)\ > > > > > (strcmp (Fs_type, "autofs") == 0 \ > > > > >+ || strcmp (Fs_type, "tmpfs") == 0\ > > > > > > > > tmpfs is consumable, so wouldn't be appropriate to add I think > > > > > > > > >+ || strcmp (Fs_type, "devtmpfs") == 0 \ > > > > >+ || strcmp (Fs_type, "squashfs") == 0 \ > > FYI, I've landed your suggested change into Ubuntu's coreutils today. > Only difference from this is I interleaved these additions > alphabetically. I'm now adding fuse.portal to the list, see https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/1905623 -- debian developer - deb.li/jak | jak-linux.org - free software dev ubuntu core developer i speak de, en
bug#45057: Date has issues with some months in Norwegian
On Sat, 5 Dec 2020, at 15:00, Odne Hellebø wrote:
> But this doesn't work for months may, october, and desember
> export LANG=nn_NO.utf8
> for i in {01..12}
> do
> mnd=$(date -d "2020-$i-01" +%B)
> date -d "01-${mnd:0:3}-2020" +%B
> done
This is documented behaviour:
https://www.gnu.org/software/coreutils/manual/html_node/General-date-syntax.html
"""
In the current implementation, only English is supported for words and
abbreviations like ‘AM’, ‘DST’, ‘EST’, ‘first’, ‘January’, ‘Sunday’,
‘tomorrow’, and ‘year’.
"""
The reason only mai / okt / des fail is that the other months match in English
/ Norwegian when considering the first three letters.
Cheers,
Phil
januar
februar
mars
april
mai
juni
juli
august
september
oktober
november
desember
bug#45057: Date has issues with some months in Norwegian
This works fine
export LANG=en_GB.utf8
for i in {01..12}
do
mnd=$(date -d "2020-$i-01" +%B)
date -d "01-${mnd:0:3}-2020" +%B
done
But this doesn't work for months may, october, and desember
export LANG=nn_NO.utf8
for i in {01..12}
do
mnd=$(date -d "2020-$i-01" +%B)
date -d "01-${mnd:0:3}-2020" +%B
done
It is also worth noting the difference when your not taking a
substring of the month, works fine with english and more fails with
norwegian.
