include useful gitpod items

3 years ago · d71fe52e17
parent 9e65e75265
commit d71fe52e17
2 changed files with 9 additions and 0 deletions
--- a/1
+++ b/1
@ -0,0 +1 @@
+docker exec -it $1 bash
--- a/workspace.code-workspace
+++ b/workspace.code-workspace
@ -0,0 +1,8 @@
+{
+	"folders": [
+		{
+			"path": ".."
+		}
+	],
+	"settings": {}
+}