Eli Zaretskii <e...@gnu.org> skribis: >> From: l...@gnu.org (Ludovic Courtès) >> Cc: guile-devel@gnu.org >> Date: Wed, 11 Jun 2014 14:37:53 +0200 >> >> OK, thanks for the explanation. >> >> Below is the fix I just pushed. >> [...] >> +(define %null-device >> + ;; On Windows (MinGW), /dev/null does not exist and we must instead >> + ;; use NUL. Note that file system procedures automatically translate >> + ;; /dev/null, so this variable is only useful for shell snippets. >> + (if (file-exists? "/dev/null") >> + "/dev/null" >> + "NUL")) > > Not sure this is a good idea: I can create a file /dev/null on > Windows, but that doesn't mean it is my null device.
Yes, but using %host-type isn’t perfect either, no? What would you prefer? Ludo’.
