DOKK / manpages / debian 10 / debian-edu-config / update-ini-file.1.en
UPDATE-INI-FILE(1) Debian-Edu Administrator's Manual UPDATE-INI-FILE(1)

update-ini-file - command line tool to modify .ini style files.

/usr/bin/update-ini-file FILE SECTION KEY VALUE

update-ini-file is a script which updates any existing .ini file. It is used by the Debian Edu installation scripts but can also be used standalone.

Debian-Edu International Team.

July 18, 2016