fix(logger): include debug messages in the log file

 - `debug` messages logged by the Theia logger were not forwarded to the
file logger.
 - Instead of logging the first argument only, let Node.js generate a
string message from every args, and log the final string message to the
console and the file.

Signed-off-by: Akos Kitta <[email protected]>

Author: Akos Kitta

electron/build/patch/backend/main.js

@@ -6,6 +6,7 @@
 // From the specs: https://specifications.freedesktop.org/basedir-spec/latest/ar01s03.html
 // "If $XDG_CONFIG_HOME is either not set or empty, a default equal to $HOME/.config should be used."
 const os = require('os');
+const util = require('util');
 if (os.platform() === 'linux' && !process.env['XDG_CONFIG_HOME']) {
     const { join } = require('path');
     const home = process.env['HOME'];
@@ -18,12 +19,14 @@ setup({
     appName: 'Arduino IDE',
     maxSize: 10 * 1024 * 1024
 });
-for (const name of ['log', 'trace', 'info', 'warn', 'error']) {
+for (const name of ['log', 'trace', 'debug', 'info', 'warn', 'error']) {
     const original = console[name];
-    console[name] = (data => {
-        original(data);
-        log(data);
-    }).bind(console);
+    console[name] = function () {
+        const messages = Object.values(arguments);
+        const message = util.format(...messages)
+        original(message)
+        log(message);
+    }
 }
 
 const { BackendApplicationConfigProvider } = require('@theia/core/lib/node/backend-application-config-provider');