At work I usually run Windows 8 but I'm looking to use Linux since I'm mostly a Linux user. How do I connect to it usually? I just type `//MIKE-SERVER` then hit ENTER key in address bar of a file browser. How would I do that on Linux? It's a Windows Server.