Posts tagged with #terminal
Global hotkey - Dropdown Terminal on MacOS
Access Global Dropdown terminal from everywhere os MacOS
Quick terminal-based DNS switching
A quick guide to switching DNS servers settings to tackle nameserver blocking & corporate proxy