From a3fc89faeb9fb83ec58b5addd9316ef6a58ec99a Mon Sep 17 00:00:00 2001 From: Alessandro Pignotti Date: Thu, 17 Oct 2024 11:13:34 +0200 Subject: [PATCH] Make sure GH config can be safely uncommented to get something that works --- config_github_terminal.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/config_github_terminal.js b/config_github_terminal.js index 8f1106a..4cc21d5 100644 --- a/config_github_terminal.js +++ b/config_github_terminal.js @@ -9,13 +9,13 @@ export const needsDisplay = false; // Executable full path (Required) export const cmd = CMD; // Default: "/bin/bash"; // Arguments, as an array (Required) -export const args = ARGS; // Default: ["--login"] +export const args = ARGS; // Default: ["--login"]; // Optional extra parameters export const opts = { // Environment variables - env: ENV, // Default: ["HOME=/home/user", "TERM=xterm", "USER=user", "SHELL=/bin/bash", "EDITOR=vim", "LANG=en_US.UTF-8", "LC_ALL=C"] + env: ENV, // Default: ["HOME=/home/user", "TERM=xterm", "USER=user", "SHELL=/bin/bash", "EDITOR=vim", "LANG=en_US.UTF-8", "LC_ALL=C"], // Current working directory - cwd: CWD, // Default: "/home/user" + cwd: CWD, // Default: "/home/user", // User id uid: 1000, // Group id