From 0d241d47d4bbda125d3cf0b9c967f2c69a35b242 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Iwan=20Cl=C3=A9ment?= Date: Tue, 20 Feb 2018 17:20:02 +0000 Subject: [PATCH] Ajout du package Gnome-Tweak-Tool sur Fedora --- linux/MesPaquets.sls | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/linux/MesPaquets.sls b/linux/MesPaquets.sls index 33d5882..b964117 100644 --- a/linux/MesPaquets.sls +++ b/linux/MesPaquets.sls @@ -20,4 +20,10 @@ Installation de wget: Installation de sudo: pkg.installed: - - name: sudo \ No newline at end of file + - name: sudo + +{% if grains['os'] == 'Fedora' %} + Installation de Gnome-Tweak-Tool: + pkg.installed: + - name: gnome-tweak-tool +{% endif %}