Suivant: , Précédent: , Monter: Services du dossier personnel   [Table des matières][Index]


13.3.3 Exécution de tâches planifiées personnelles

Le module (gnu home services mcron) fournit une interface pour GNU mcron, un démon qui lance des tâches planifiées (voir GNU mcron). Les informations sur le mcron du système s’appliquent ici aussi (voir Exécution de tâches planifiées), la seule différence pour les services personnels et qu’ils doivent être déclarés dans un enregistrement home-environment au lieu d’un enregistrement operating-system.

Variable :home-mcron-service-type

C’est le type du service personnel mcron, dont la valeur est un objet home-mcron-configuration. Il permet de gérer des tâches planifiées.

Ce type de service peut être la cible d’une extension de service qui fournit des spécifications de tâches supplémentaires (voir Composition de services). En d’autres termes, il est possible de définir des services qui fournissent des tâches mcron à lancer.

Type de données :home-mcron-configuration

Les champs de home-mcron-configuration disponibles sont :

mcron (par défaut : mcron) (type : simili-fichier)

Le paquet mcron à utiliser.

jobs (par défaut : '()) (type : liste-de-gexps)

C’est la liste des gexps (voir G-Expressions), où chaque gexp correspond à une spécification de tâche de mcron (voir mcron job specifications dans GNU mcron).

log? (par défaut : #t) (type : booléen)

Journalise les messages sur la sortie standard.

log-format (par défaut : "~1@*~a ~a: ~a~%") (type : chaine)

Chaine de format (ice-9 format) pour les message de journaux. La valeur par défaut produit des messages de type « ‘pid name: message’ » (voir Invoking dans GNU mcron). Chaque message est aussi préfixé par un horodatage par le GNU Shepherd.


Suivant: Services personnels de gestion de l’énergie, Précédent: Shells, Monter: Services du dossier personnel   [Table des matières][Index]