2021-07-21 17:58:20 +02:00
|
|
|
[gd_scene load_steps=4 format=2]
|
2020-07-11 12:45:21 +02:00
|
|
|
|
2021-07-21 17:58:20 +02:00
|
|
|
[ext_resource path="res://themes/audio/bell.wav" type="AudioStream" id=1]
|
2021-07-25 19:31:23 +02:00
|
|
|
[ext_resource path="res://addons/godot_xterm/pty.gd" type="Script" id=2]
|
2021-07-02 19:27:34 +02:00
|
|
|
[ext_resource path="res://examples/terminal/terminal.gd" type="Script" id=3]
|
2020-07-11 12:45:21 +02:00
|
|
|
|
2021-07-25 19:31:23 +02:00
|
|
|
|
2020-09-24 12:29:19 +02:00
|
|
|
[node name="Terminal" type="Control"]
|
|
|
|
anchor_right = 1.0
|
|
|
|
anchor_bottom = 1.0
|
2021-07-02 19:27:34 +02:00
|
|
|
focus_mode = 2
|
|
|
|
script = ExtResource( 3 )
|
2020-07-11 12:45:21 +02:00
|
|
|
__meta__ = {
|
|
|
|
"_edit_use_anchors_": false
|
|
|
|
}
|
2021-07-08 15:33:46 +02:00
|
|
|
copy_on_selection = true
|
2020-07-11 12:45:21 +02:00
|
|
|
|
2021-07-02 19:27:34 +02:00
|
|
|
[node name="PTY" type="Node" parent="."]
|
2020-09-24 12:29:19 +02:00
|
|
|
script = ExtResource( 2 )
|
2021-07-02 19:27:34 +02:00
|
|
|
terminal_path = NodePath("..")
|
|
|
|
env = {
|
|
|
|
"COLORTERM": "truecolor",
|
|
|
|
"TERM": "xterm-256color"
|
|
|
|
}
|
2021-07-21 17:58:20 +02:00
|
|
|
|
|
|
|
[node name="Bell" type="AudioStreamPlayer" parent="."]
|
|
|
|
stream = ExtResource( 1 )
|
|
|
|
[connection signal="bell" from="." to="Bell" method="play"]
|