From ac2a50674e4a752f00cc0a70bb2db05abfacc3b9 Mon Sep 17 00:00:00 2001 From: Mosh Feu Date: Tue, 8 Jan 2019 14:03:20 +0200 Subject: [PATCH] Update example https://github.com/electron/electron/pull/16186#pullrequestreview-190180669 --- docs/tutorial/devtools-extension.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/tutorial/devtools-extension.md b/docs/tutorial/devtools-extension.md index 2feb224c0ef0c..e6861d7217811 100644 --- a/docs/tutorial/devtools-extension.md +++ b/docs/tutorial/devtools-extension.md @@ -30,11 +30,11 @@ Using the [React Developer Tools][react-devtools] as example: 1. Pass the location of the extension to `BrowserWindow.addDevToolsExtension` API, for the React Developer Tools, it is something like: ```javascript - const { join } = require('path'); - const { homedir } = require('os'); + const path = require('path'); + const os = require('os'); BrowserWindow.addDevToolsExtension( - join(homedir(),'/Library/Application Support/Google/Chrome/Default/Extensions/fmkadmapgofadopljbjfkapdkoienihi/0.15.0_0') + path.join(os.homedir(),'/Library/Application\Support/Google/Chrome/Default/Extensions/fmkadmapgofadopljbjfkapdkoienihi/0.15.0_0') ); ```