From e74372bd1de12dd3562871f3312f63d958c6e4d3 Mon Sep 17 00:00:00 2001
From: Severin Kaderli <severin@kaderli.dev>
Date: Tue, 12 Mar 2019 21:34:15 +0100
Subject: [PATCH] Fix linting

Signed-off-by: Severin Kaderli <severin@kaderli.dev>
---
 system/.config/custom/env | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/.config/custom/env b/system/.config/custom/env
index 2b61ac9..091c375 100644
--- a/system/.config/custom/env
+++ b/system/.config/custom/env
@@ -105,7 +105,7 @@ function prompt_width() {
     pwd="$(print -P %~)"
     file_count="$(file_count)"
     folder_size="$(folder_size)"
-    echo "$((${COLUMNS} - 19 - ${#hostname} - ${#branch} - ${#pwd} - ${#file_count} - ${#folder_size}))"
+    echo "$(($COLUMNS - 19 - ${#hostname} - ${#branch} - ${#pwd} - ${#file_count} - ${#folder_size}))"
 }
 
 function precmd() {