about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2022-09-10 19:23:34 -0700
committerKartik K. Agaram <vc@akkartik.com>2022-09-10 19:23:34 -0700
commit511db8cffd808d244aa84095bcde83def48736e0 (patch)
tree15b487e54831388a0f9c5effa3a095284d32ec98
parent06c784b576c401b11c6629e09c00504f8746b229 (diff)
downloadview.love-511db8cffd808d244aa84095bcde83def48736e0.tar.gz
bugfix: path munging on Windows
-rw-r--r--edit.lua2
-rw-r--r--run.lua5
-rw-r--r--source.lua5
-rw-r--r--source_edit.lua2
4 files changed, 8 insertions, 6 deletions
diff --git a/edit.lua b/edit.lua
index 0c2347f..3c722a7 100644
--- a/edit.lua
+++ b/edit.lua
@@ -94,7 +94,7 @@ function edit.initialize_state(top, left, right, font_height, line_height)  -- c
     right = right,
     width = right-left,
 
-    filename = love.filesystem.getUserDirectory()..'/lines.txt',
+    filename = love.filesystem.getUserDirectory()..'/lines.txt',  -- '/' should work even on Windows
     next_save = nil,
 
     -- undo
diff --git a/run.lua b/run.lua
index 405e7e5..188269b 100644
--- a/run.lua
+++ b/run.lua
@@ -141,8 +141,9 @@ function run.settings()
     Settings.x, Settings.y, Settings.displayindex = love.window.getPosition()
   end
   local filename = Editor_state.filename
-  if filename:sub(1,1) ~= '/' then
-    filename = love.filesystem.getWorkingDirectory()..'/'..filename  -- '/' should work even on Windows
+  local os_path_separator = package.config:sub(1,1)
+  if filename:sub(1,1) ~= os_path_separator then
+    filename = love.filesystem.getWorkingDirectory()..os_path_separator..filename
   end
   return {
     x=Settings.x, y=Settings.y, displayindex=Settings.displayindex,
diff --git a/source.lua b/source.lua
index 7ec1aae..fc2ff3c 100644
--- a/source.lua
+++ b/source.lua
@@ -257,8 +257,9 @@ function source.settings()
     Settings.source.x, Settings.source.y, Settings.source.displayindex = love.window.getPosition()
   end
   local filename = Editor_state.filename
-  if filename:sub(1,1) ~= '/' then
-    filename = love.filesystem.getWorkingDirectory()..'/'..filename  -- '/' should work even on Windows
+  local os_path_separator = package.config:sub(1,1)
+  if filename:sub(1,1) ~= os_path_separator then
+    filename = love.filesystem.getWorkingDirectory()..os_path_separator..filename
   end
 --?   print('saving source settings', Settings.source.x, Settings.source.y, Settings.source.displayindex)
   return {
diff --git a/source_edit.lua b/source_edit.lua
index bcb1297..34752d0 100644
--- a/source_edit.lua
+++ b/source_edit.lua
@@ -100,7 +100,7 @@ function edit.initialize_state(top, left, right, font_height, line_height)  -- c
     right = right,
     width = right-left,
 
-    filename = love.filesystem.getUserDirectory()..'/lines.txt',
+    filename = love.filesystem.getUserDirectory()..'/lines.txt',  -- '/' should work even on Windows
     next_save = nil,
 
     -- undo