Fast Install on MacOS Gives jroesch.lean DeprecationWarning and UnhandledPromiseRejectionWarning

[agryman]

I just installed Lean and mathlib on MacOS the fast way as described on https://leanprover-community.github.io/install/macos.html. The install script reported warnings when installing the jroesch.lean extension, but I was able to run Visual Studio Code. Here's the relevant console output:

Installing extensions... Installing extension 'jroesch.lean'... (node:60348) [DEP0005] DeprecationWarning: Buffer() is deprecated due to security and usability issues. Please use the Buffer.alloc(), Buffer.allocUnsafe(), or Buffer.from() methods instead. (Use Electron --trace-deprecation ... to show where the warning was created) Extension 'jroesch.lean' v0.16.39 was successfully installed. (node:60348) UnhandledPromiseRejectionWarning: Canceled: Canceled at D (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:5:1157) at O.cancel (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:9:62880) at O.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:9:63012) at N.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:9:63274) at d (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:3655) at N.clear (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:4133) at N.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:4112) at dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:4672) at dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cliProcessMain.js:11:7330) at d (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:3655) at /Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:3843 at /Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:3942 at Object.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:762) at d (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:3788) at /Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cliProcessMain.js:14:41520 at Map.forEach () at Ne.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cliProcessMain.js:14:41496) at d (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:3655) at N.clear (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:4133) at N.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:4112) at S.dispose (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:6:4672) at Object.M [as main] (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cliProcessMain.js:17:38649) at runMicrotasks () at processTicksAndRejections (internal/process/task_queues.js:93:5) at async N (/Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/code/node/cli.js:12:13842) (node:60348) UnhandledPromiseRejectionWarning: Unhandled promise rejection. This error originated either by throwing inside of an async function without a catch block, or by rejecting a promise which was not handled with .catch(). To terminate the node process on unhandled promise rejection, use the CLI flag --unhandled-rejections=strict (see https://nodejs.org/api/cli.html#cli_unhandled_rejections_mode). (rejection id: 1) (node:60348) [DEP0018] DeprecationWarning: Unhandled promise rejections are deprecated. In the future, promise rejections that are not handled will terminate the Node.js process with a non-zero exit code.

Here's my brew config:

HOMEBREW_VERSION: 3.2.6 ORIGIN: https://github.com/Homebrew/brew HEAD: 265c8c36a4c0a74f478cba16417940b3b588736c Last commit: 5 days ago Core tap ORIGIN: https://github.com/Homebrew/homebrew-core Core tap HEAD: 0d73d02e52030eb27231ce36ef0fc461f9fa62e8 Core tap last commit: 53 minutes ago Core tap branch: master HOMEBREW_PREFIX: /usr/local HOMEBREW_CASK_OPTS: [] HOMEBREW_DISPLAY: /private/tmp/com.apple.launchd.B1u1E7nlur/org.macosforge.xquartz:0 HOMEBREW_MAKE_JOBS: 8 Homebrew Ruby: 2.6.3 => /usr/local/Homebrew/Library/Homebrew/vendor/portable-ruby/2.6.3_2/bin/ruby CPU: octa-core 64-bit haswell Clang: 12.0.0 build 1200 Git: 2.24.3 => /Applications/Xcode.app/Contents/Developer/usr/bin/git Curl: 7.64.1 => /usr/bin/curl macOS: 10.15.7-x86_64 CLT: 12.4.0.0.1.1610135815 Xcode: 12.4 XQuartz: 2.7.11 => /opt/X11