On Sun, Jan 31, 2021 at 11:55 AM Peter Boy <pboy(a)uni-bremen.de> wrote:
> Am 27.01.2021 um 13:18 schrieb Dominik 'Rathann' Mierzejewski
> On Wednesday, 27 January 2021 at 13:11, Arthur G wrote:
>> Too bad NetworkManager persists with the old MS-DOS "INI" file format
>> it's configuration files. At least network-scripts was bash script
> You can use crudini to manage .ini files. Works quite well. There's also
Did not know that. Very convenient indeed for ini files. Thanks
It's not INI either, it's GNOME GVariant file format:
It's *similar* to INI, but has slightly different rules.
真実はいつも一つ！/ Always, there's only one truth!