that hugely varies from developer to developer and from process to process tbh
some of the developers prefer to interact with git repository through cmd (in most cases built-in clients do not provide full capabilities of git)
pinging other machines
you can ssh into another machine
list installed drives
quickly navigate through directories
just to name a few, but as I said … that hugely depends on the developer’s habits and needs
if the dev is used to using git through cmd and executing other commands through terminal then the answer is: a lot