From 227bbf9f52821f8bfbfec16119465c6ce95822dc Mon Sep 17 00:00:00 2001 From: Ben Beltran Date: Wed, 13 Mar 2019 11:38:29 +0100 Subject: Remove powerline config --- config/powerline/themes/shell/default.json | 45 ------------------------------ 1 file changed, 45 deletions(-) delete mode 100644 config/powerline/themes/shell/default.json (limited to 'config/powerline/themes/shell/default.json') diff --git a/config/powerline/themes/shell/default.json b/config/powerline/themes/shell/default.json deleted file mode 100644 index 6246a96..0000000 --- a/config/powerline/themes/shell/default.json +++ /dev/null @@ -1,45 +0,0 @@ -{ - "default_module": "powerline.segments.common", - "segment_data": { - "hostname": { - "before": " ", - "args": { - "only_if_ssh": true - } - }, - "virtualenv": { - "before": "ⓔ " - }, - "branch": { - "before": " " - } - }, - "segments": { - "left": [ - { - "name": "hostname" - }, - { - "name": "user" - }, - { - "name": "virtualenv" - }, - { - "name": "cwd", - "args": { - "dir_limit_depth": 3 - } - } - ], - "right": [ - { - "module": "powerline.segments.shell", - "name": "last_pipe_status" - }, - { - "name": "branch" - } - ] - } -} -- cgit