A single button click to reinstall all community plugins after cloning/pulling git repository that ignores plugins

I like your solution better because it’s actually platform agnostic.
How do you access the devtools ?