Re: Comment éteindre un serveur proprement pour permettre le redémarrage automatique ?
On 20/10/2022 21:08, Th.A.C wrote:
Si tu peux exécuter une commande avant, un 'sync' devrait déja
améliorer la situation.
Il est peut-être possible de forcer le système à vider ses caches très
régulièrement, mais ce n'est clairement pas propre.
Pourquoi ne serait-ce pas propre?
Pour ceux que ça intéresse, j'ai codé en C un petit utilitaire (sous
licence GPLv3+) qui appelle sync périodiquement:
https://github.com/bstarynk/misc-basile/blob/master/sync-periodically.c
(et je cherche des partenaires intéressés par un consortium
HorizonEurope ou ANR finançant et utilisant le logiciel d'IA symbolique
RefPerSys en http://refpersys.org/ - qu'ils me contactent par courriel
aussi au bureau, CEA LIST, en basile.starynkevitch@cea.fr ....)
--
Basile Starynkevitch <basile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/
Reply to: