3 ms·
I just wrote a plugin to allow me to set my Network location (we sit behind a corporate proxy at work) AND my bash proxy settings at the same time. So when I'm
by djhworld 11y ago
I just wrote a plugin to allow me to set my Network location (we sit behind a corporate proxy at work) AND my bash proxy settings at the same time.
So when I'm not in the office switching to my "home" profile is just a menu click away.
This has been a long standing dream of mine to automate - so thanks!
EDIT: also it works with emojis, which is handy, here's a screenshot http://imgur.com/CVxchnI http://imgur.com/CVxchnI
- daturkel 11y agoI hope you submitted a pull request!
- djhworld 11y agoSadly it's too bespoke to release, I had all the profile switching scripts written already and have been using them for a few years now. On top of updating environment variables with proxy settings etc, they also update a bunch of configuration files for maven, ssh, stunnel etc via symlinks All this bitbar thing does is call those existing scripts, very simple, but saves me a) wondering what profile I have enabled (now in the menubar) b) opening a terminal and typing "update-env (work|home)" (one click switch)