From d71fe52e1763ca9b54b913b91139095eaf6cc791 Mon Sep 17 00:00:00 2001 From: "sigonasr2, Sig, Sigo" Date: Tue, 27 Jul 2021 01:36:45 +0000 Subject: [PATCH] include useful gitpod items --- docker_terminal | 1 + workspace.code-workspace | 8 ++++++++ 2 files changed, 9 insertions(+) create mode 100755 docker_terminal create mode 100644 workspace.code-workspace diff --git a/docker_terminal b/docker_terminal new file mode 100755 index 0000000..9713b59 --- /dev/null +++ b/docker_terminal @@ -0,0 +1 @@ +docker exec -it $1 bash \ No newline at end of file diff --git a/workspace.code-workspace b/workspace.code-workspace new file mode 100644 index 0000000..bab1b7f --- /dev/null +++ b/workspace.code-workspace @@ -0,0 +1,8 @@ +{ + "folders": [ + { + "path": ".." + } + ], + "settings": {} +} \ No newline at end of file