save file

Author: javascript-2020

utils/misc/nodejs-terminal/v2.0/nodejs-terminal-v2.0.html

@@ -921,7 +921,8 @@
                                                         dir  += '/';
                                                   }
                                                   if(user_dir===undefined){
-                                                        user_dir      = dir.slice(2,-1);
+                                                        user_dir          = dir.slice(2,-1);
+                                                        shell.user_dir    = user_dir;
                                                                                 console.log('[ user_dir ]',user_dir);
                                                   }
                                                   if(dir.indexOf('~')!=-1){
@@ -935,6 +936,8 @@
                                                         cwd_abs   = dir;
                                                         cwd       = null;
                                                   }
+                                                  shell.cwd_abs   = cwd_abs;
+                                                  shell.cwd       = cwd;
                                                                                 console.log('[ cwd_abs ]',cwd_abs);
                                                                                 console.log('[     cwd ]',cwd);
                                             }