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