14 commits

Author	SHA1	Message	Date
blinry	5ff4ca6c28	Try to fix web-shell when called from Godot	2023-09-08 15:23:48 +02:00
blinry	19fcad2920	Halfway through making everything async...	2023-09-07 12:04:47 +02:00
blinry	ad8d8f50d1	Some output from the Linux VM!!	2023-09-07 11:43:51 +02:00
bleeptrack	ba4e8ec26c	Upgrade to Godot 4.1	2023-09-06 16:04:23 +02:00
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)