g.dirseps(1grass) on Linux
The text 85cdb7889d1a, as Debian 7 (Wheezy) shipped it.
Internal GRASS utility for converting directory separator characters. Converts any directory separator characters in the input string to or from native host format, and writes the changed path to standard output. Useful in scripts for Windows compatibility.