Commit graph

19 commits

Author SHA1 Message Date
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
fe97283ddb Performance: don't create trees and blobs, only update repos once 2021-01-13 13:30:08 +01:00
blinry
d8d48c245e Take hints on port 1235, hint script in user's PATH 2020-12-22 16:05:35 +01:00
blinry
d57674acca Allow cards with [string] parameters 2020-11-10 22:44:52 +01:00
blinry
617adc8e06 Build custom .gitconfig for the game environment
Fixes #3.
2020-10-29 17:30:12 +01:00
Sebastian Morr
448ed89ead Have fake-editor send the content of the file itself
So we don't have to fetch the content from the outside.
2020-10-26 21:29:11 +01:00
bleeptrack
8501e598a4 Changes for OSX 2020-10-06 16:50:31 +02:00
Sebastian Morr
8c4c4feeef Fix opening things in file browser, fix [code] highlighting 2020-10-06 10:38:31 +02:00
Sebastian Morr
c6bd66559a Preparations for async commands 2020-09-24 10:10:14 +02:00
Sebastian Morr
2a890c7f8a Fix TCPServer node, by reading -1 bytes 2020-09-22 18:53:50 +02:00
bleeptrack
1a264e2beb Added File Browser for Repository Scene 2020-09-22 13:19:53 +02:00
Sebastian Morr
7df489baf8 Experimental TCP Server node 2020-09-15 09:42:06 +02:00
Sebastian Morr
078c1612ac fake-editor sends filename now, so that we can write tag descriptions, for example 2020-09-13 18:40:44 +02:00
Sebastian Morr
75679c8bb1 Use Perl for the fake-editor :D 2020-09-09 18:32:57 +02:00
Sebastian Morr
ca8aae560c Better colors and fonts 2020-09-01 21:25:24 +02:00
Sebastian Morr
01cf45dee4 Implement server that listens for connection from fake-editor script
As well as a commit message editor! \o/
2020-09-01 15:14:01 +02:00
Sebastian Morr
80cbff92a1 Run commands in the terminal using /bin/sh
And some hacks that set the EDITOR and the PATH.
2020-09-01 14:03:18 +02:00