Commit graph

10 commits

Author SHA1 Message Date
blinry ffadebb0df Simplify careful_delete even more by relying on user:// on each OS
Closes #83.
2021-04-12 16:03:11 +02:00
blinry 3211cd0481 Use HOME variables in careful_delete
This helps in cases where the home directory is in unexpected places,
like on external hard drives, and should still be very safe.

Closes #60, closes #81.
2021-04-12 15:49:20 +02:00
blinry b5ca69264a On Windows, compare paths case-insensitively for the purpose of careful_delete
Fixes #27.
2021-03-24 15:38:53 +01:00
blinry 53c249d059 Start working on a better shell mechanism for Windows
It uses a Perl script to keep a bash session open, which attaches to a
port the game keeps open. This avoids having to start a new Git bash for
each command, improving the execution speed by a factor of 3-4.
2021-03-04 15:03:05 +01:00
blinry 1af1f4e6f6 Make the "save delete" function observe the new name 2021-02-05 16:21:48 +01:00
blinry d780520d51 When writing a file, make sure that its parent directory exists
Fixes #13.
2021-02-05 16:20:52 +01:00
blinry 2ef151cdca Make careful_delete go with the new name :) 2021-02-02 16:24:25 +01:00
blinry 107d6f8fb1 Show deleted files in the working directory and the index 2020-11-10 15:28:37 +01:00
Sebastian Morr 8f70770107 Fix warnings 2020-10-26 19:56:52 +01:00
Sebastian Morr 61304803bc Move all .tscn and .gd files into scenes/ directory 2020-10-26 19:16:22 +01:00
Renamed from helpers.gd (Browse further)