Используйте две разные клавиатуры с разными раскладками во FreeBSD в среде X

// - это особый случай, рассматриваемый в POSIX определении слова "Pathname":

Несколько последовательных символов считаются тем же, что и один , за исключением случая ровно двух ведущих символов.

В большинстве систем // - это то же самое, что /, но в соответствии с POSIX допускается другое.

Дальнейшее чтение:

• В каких системах //foo/bar отличается от /foo/bar?
• Как Linux обрабатывает несколько последовательных разделителей путей (/home////username///file)?
• unix, разница между путями, начинающимися с '/' и '//'

(Я думаю, первая из этих ссылок лучшая.)

.