Commit graph

145 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
8362b9d9b2 Async everywhere... 2023-09-07 14:45:52 +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
blinry
49a3f880fe Try to attach the VM 2023-09-07 10:14:07 +02:00
blinry
3604bf357e Enable Web build 2023-09-06 18:41:36 +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
5770fa6896 On Windows, wait until connection to bash has been established 2021-03-05 14:17:48 +01:00
blinry
05b98d7a13 On Windows, use the faster BetterShell 2021-03-04 15:03:05 +01:00
blinry
a60b2f9afb Directly run the command in the shell 2021-03-04 15:03:05 +01:00
blinry
16edb843b7 Add a mutex and fix the length in the net-test script 2021-03-04 15:03:05 +01:00
blinry
1b7bb246d1 Fixes for the new shell mechanism on Windows 2021-03-04 15:03:05 +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
3a42869653 Keep user's PATH, but extend it with our script directory
Fixes #11.
2021-02-19 11:52:24 +01:00
blinry
f7351316bc Add a glow effect to cards that have never been played 2021-02-18 18:06:17 +01:00
blinry
8986900c3d Turn down harsh sounds a bit 2021-02-18 17:30:11 +01:00
bleeptrack
5c69308451 Merge remote-tracking branch 'origin/main' into main 2021-02-18 16:47:42 +01:00
bleeptrack
bf052dec3b icons in cards 2021-02-18 16:47:39 +01:00
blinry
94462e9123 Show the current state of the badge in a level, instead of the future one 2021-02-18 16:44:04 +01:00
bleeptrack
63f093189b magic number for rescaling fix 2021-02-18 15:45:39 +01:00
blinry
7ecc55a3fb Add cli hints to the first three levels 2021-02-18 12:39:33 +01:00
blinry
cba3a0db30 Update logo 2021-02-17 20:57:43 +01:00
blinry
9d8c8e2b83 Add the no_git scene 2021-02-16 11:14:20 +01:00
blinry
8c6462d0b1 Make hint popups non-focusable, so they don't remove focus from the terminal 2021-02-11 12:03:17 +01:00
blinry
2fc78f3e99 Display a nice error screen if Git is not installed 2021-02-11 11:54:48 +01:00
blinry
5b590b8367 If someone tries to run an editor, use our fake-editor instead 2021-02-11 11:54:48 +01:00
bleeptrack
0781649227 grey cli hints in level description 2021-02-11 11:19:22 +01:00
bleeptrack
328122823b disable music when game starts from debug mode 2021-02-11 10:48:36 +01:00
bleeptrack
6f6b91cc8a toggle music button in main stage 2021-02-11 10:46:20 +01:00
bleeptrack
e8895f8137 toggle music button to scene 2021-02-11 10:46:08 +01:00
bleeptrack
a5c5329c78 fix scrolling issue of title 2021-02-09 14:53:50 +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
a938ba206f Try on another name: Oh My Git! 2021-02-05 15:00:13 +01:00
blinry
b9b32c66e4 Add first background music, always move focus back to the command line 2021-02-04 16:11:56 +01:00
blinry
13dc516edf Add sandbox button to the title, and add CLI badge explainer 2021-02-04 15:19:54 +01:00
blinry
09bbf7a0ad First storification of the index chapter 2021-02-02 16:46:32 +01:00
bleeptrack
01d8fe3d3e quick change of monster 2021-02-02 16:31:15 +01:00
blinry
2ef151cdca Make careful_delete go with the new name :) 2021-02-02 16:24:25 +01:00
blinry
e6bc04a1e2 Try on a name: "Git Guru" 2021-02-02 14:52:33 +01:00
blinry
fd58638753 Auto-forward to level select when run from editor 2021-01-28 12:08:12 +01:00
bleeptrack
7903a8d9f3 Sneaking survey into game before quitting 2021-01-28 11:59:26 +01:00
bleeptrack
4b8c57ccbe survey button in level selection 2021-01-28 11:28:47 +01:00
blinry
aed852122b Badges when you don't use cards 2021-01-21 15:08:59 +01:00
blinry
e87e29a3ed Extend the hint system to explain GUI elements 2021-01-19 12:48:16 +01:00
blinry
d258f812ce Optimize screen layout a bit 2021-01-19 11:13:40 +01:00
blinry
41a02f27e2 Quick fix for images on cards 2021-01-18 14:14:08 +01:00