code: def get_default_remote_name():
      
      s = u'%s@%s:%d'
      s %= (getpass.getuser(), socket.gethostname(), os.getpid())
      # In mixed UNIX/Windows environments, the username may contain slashes.
      return s.translate({
          ord(u'\\'): ord(u'_'),
          ord(u'/'): ord(u'_')
      })
docs: Return the default name appearing in argv[0] of remote machines.