From f7689bde5ae4652d4d14362d5dbefe2d5c057863 Mon Sep 17 00:00:00 2001 From: Thomas Date: Fri, 14 Sep 2018 17:20:04 -0400 Subject: [PATCH] modifs pour domaine et utilisateur --- themes/shell/default.json | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/themes/shell/default.json b/themes/shell/default.json index 9b05380..afdba2e 100644 --- a/themes/shell/default.json +++ b/themes/shell/default.json @@ -8,6 +8,7 @@ "function": "powerline.segments.common.net.hostname", "priority": 10, "args": { + "exclude_domain": true, "only_if_ssh": false } }, @@ -15,7 +16,9 @@ "function": "powerline.segments.common.env.user", "priority": 30, "args": { - "hide_user": "tbriffar" + "hide_domain": true, + "hide_user": "tbriffar", + "hide_user": "Thomas" } }, {