mirror of
https://github.com/git-learning-game/oh-my-git.git
synced 2024-06-28 23:33:30 +02:00
45 lines
947 B
GDScript
45 lines
947 B
GDScript
extends Node
|
|
|
|
var tmp_prefix = _tmp_prefix()
|
|
var global_shell
|
|
var debug = false
|
|
var fake_editor
|
|
|
|
func _ready():
|
|
global_shell = Shell.new()
|
|
|
|
# Copy fake-editor to tmp directory (because the original might be in a .pck file).
|
|
var fake_editor = tmp_prefix + "fake-editor"
|
|
var content = game.read_file("res://scripts/fake-editor")
|
|
write_file(fake_editor, content)
|
|
global_shell.run("chmod u+x " + fake_editor)
|
|
|
|
func read_file(path):
|
|
if debug:
|
|
print("reading " + path)
|
|
var file = File.new()
|
|
file.open(path, File.READ)
|
|
var content = file.get_as_text()
|
|
file.close()
|
|
return content
|
|
|
|
func write_file(path, content):
|
|
if debug:
|
|
print("writing " + path)
|
|
var file = File.new()
|
|
file.open(path, File.WRITE)
|
|
file.store_string(content)
|
|
file.close()
|
|
return true
|
|
|
|
func _tmp_prefix():
|
|
var os = OS.get_name()
|
|
|
|
if os == "X11":
|
|
return "/tmp/"
|
|
elif os == "Windows":
|
|
return "%temp%/"
|
|
else:
|
|
push_error("Unsupported OS")
|
|
get_tree().quit()
|