From 1e407e1b450b3c36c9abd8b4cbd14a363363583b Mon Sep 17 00:00:00 2001
From: Alessandro Pignotti <a.pignotti@sssup.it>
Date: Tue, 15 Oct 2024 11:25:21 +0200
Subject: [PATCH] GH++

---
 config_github_terminal.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config_github_terminal.js b/config_github_terminal.js
index d356f2e..df41920 100644
--- a/config_github_terminal.js
+++ b/config_github_terminal.js
@@ -13,9 +13,9 @@ export const args = ARGS;
 // Optional extra parameters
 export const opts = {
 	// Environment variables
-	env: ENV;
+	env: ENV,
 	// Current working directory
-	cwd: CWD;
+	cwd: CWD,
 	// User id
 	uid: 1000,
 	// Group id