From be1824b505848ca92ab12ad7e30d4e9fc2ff371d Mon Sep 17 00:00:00 2001
From: Severin Kaderli <severin@kaderli.dev>
Date: Tue, 12 Mar 2019 21:36:29 +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 091c375..7da1e24 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() {