From e9abb2eca2d69e9a0961efa5edf7ed1b8651165c Mon Sep 17 00:00:00 2001
From: fabaindaiz <fabiandiaz@ug.uchile.cl>
Date: Mon, 16 Oct 2023 01:29:20 -0300
Subject: [PATCH] fix: restore version code-server

---
 code-workspaces/modules/code-server/main.tf | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/code-workspaces/modules/code-server/main.tf b/code-workspaces/modules/code-server/main.tf
index bd101f6..33d3a5a 100644
--- a/code-workspaces/modules/code-server/main.tf
+++ b/code-workspaces/modules/code-server/main.tf
@@ -38,6 +38,12 @@ variable "log_path" {
   default     = "/tmp/code-server.log"
 }
 
+variable "install_version" {
+  type        = string
+  description = "The version of code-server to install."
+  default     = ""
+}
+
 variable "install_prefix" {
   type        = string
   description = "The prefix to install code-server to."
@@ -58,6 +64,7 @@ resource "coder_script" "code-server" {
     LOG_PATH : var.log_path,
     PORT : var.port,
     EXTENSIONS : join(",", var.extensions),
+    VERSION : var.install_version,
     INSTALL_PREFIX : var.install_prefix,
     // This is necessary otherwise the quotes are stripped!
     SETTINGS : replace(jsonencode(var.settings), "\"", "\\\""),