On Windows support HOME environment variable

HOMEPATH and HOMEDRIVE might be set automatically, and HOME can be used to override.
Also HOME is used by several ported commandline utilities to find configuration files.
If the user has set it, he clearly prefers it.

diff --git a/basis/io/files/windows/windows.factor b/basis/io/files/windows/windows.factor
index 233a9119ed126e40970d976559e940c9f67c6a7b..a708dfee817bef6997b1d3a36c3f442bcced7775 100644 (file)
--- a/basis/io/files/windows/windows.factor
+++ b/basis/io/files/windows/windows.factor
@@ -379,6 +379,7 @@ M: windows open-append
 
 M: windows home
     {
+        [ "HOME" os-env ]
         [ "HOMEDRIVE" os-env "HOMEPATH" os-env append-path ]
         [ "USERPROFILE" os-env ]
         [ my-documents ]