gap_workspace_file: include hostname and gap version

Author: tornaria

src/sage/interfaces/gap_workspace.py

@@ -16,7 +16,8 @@
 import os
 import time
 import hashlib
-from sage.env import DOT_SAGE, SAGE_LOCAL
+import subprocess
+from sage.env import DOT_SAGE, SAGE_LOCAL, HOSTNAME, GAP_ROOT_DIR
 
 
 def gap_workspace_file(system="gap", name="workspace", dir=None):
@@ -59,8 +60,12 @@ def gap_workspace_file(system="gap", name="workspace", dir=None):
     if dir is None:
         dir = os.path.join(DOT_SAGE, 'gap')
 
-    h = hashlib.sha1(SAGE_LOCAL.encode('utf-8')).hexdigest()
-    return os.path.join(dir, '%s-%s-%s' % (system, name, h))
+    data = SAGE_LOCAL
+    sysinfo = os.path.join(GAP_ROOT_DIR, "sysinfo.gap")
+    if os.path.exists(sysinfo):
+        data += subprocess.getoutput(f'. "{sysinfo}" && echo ":$GAP_VERSION:$GAParch"')
+    h = hashlib.sha1(data.encode('utf-8')).hexdigest()
+    return os.path.join(dir, '%s-%s-%s-%s' % (system, name, HOSTNAME, h))
 
 
 def prepare_workspace_dir(dir=None):