Format tf, ts, js, html and css files

eclipse-theia · Jul 17, 2024 · a76511f · a76511f
1 parent 73f17df
commit a76511f
Show file tree

Hide file tree

Showing 11 changed files with 474 additions and 314 deletions.
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/contentgenerator.ts b/demo/dockerfiles/demo-theia-docker/project/web/src/contentgenerator.ts
@@ -1,15 +1,23 @@
 interface Config {
-    name: string;
-    time: Date;
+  name: string;
+  time: Date;
 }
 
 function generateContents(config: Config) {
-    return "Hello " + config.name + "! It's " + config.time.getHours() + " o\'clock and " + config.time.getMinutes() + " minutes."
+  return (
+    "Hello " +
+    config.name +
+    "! It's " +
+    config.time.getHours() +
+    " o'clock and " +
+    config.time.getMinutes() +
+    " minutes."
+  );
 }
 
 var config: Config = {
-    name: "Sasha",
-    time: new Date(),
-}
+  name: "Sasha",
+  time: new Date(),
+};
 
 document.body.innerHTML = generateContents(config);
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/index.html b/demo/dockerfiles/demo-theia-docker/project/web/src/index.html
@@ -1,14 +1,13 @@
 <!DOCTYPE html>
 <html lang="en">
   <head>
-    <link rel="stylesheet" href="styles.css">
-    <meta charset="utf-8">
+    <link rel="stylesheet" href="styles.css" />
+    <meta charset="utf-8" />
     <title>Theia Cloud</title>
   </head>
   <body>
-	  <script src="contentgenerator.js"></script>
-	  <script src="updatecontents.js"></script>
+    <script src="contentgenerator.js"></script>
+    <script src="updatecontents.js"></script>
   </body>
-<footer>
-</footer>
+  <footer></footer>
 </html>
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/styles.css b/demo/dockerfiles/demo-theia-docker/project/web/src/styles.css
@@ -1,11 +1,16 @@
 body {
-    background: rgb(255,218,218);
-    background: linear-gradient(90deg, rgba(255,218,218,1) 0%, rgba(255,218,218,1) 3%, rgba(215,248,255,1) 100%);
+  background: rgb(255, 218, 218);
+  background: linear-gradient(
+    90deg,
+    rgba(255, 218, 218, 1) 0%,
+    rgba(255, 218, 218, 1) 3%,
+    rgba(215, 248, 255, 1) 100%
+  );
 }
 
 html {
-    font-family: Arial, Helvetica, sans-serif;
-    text-align: center;
-    font-size: large;
-    color:darkslategray;
-}
+  font-family: Arial, Helvetica, sans-serif;
+  text-align: center;
+  font-size: large;
+  color: darkslategray;
+}
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/updatecontents.js b/demo/dockerfiles/demo-theia-docker/project/web/src/updatecontents.js
@@ -1 +1,3 @@
-setTimeout(function () { document.body.innerHTML = "Bye bye!"; }, 10000);
+setTimeout(function () {
+  document.body.innerHTML = "Bye bye!";
+}, 10000);
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/contentgenerator.ts b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/contentgenerator.ts
@@ -1,15 +1,23 @@
 interface Config {
-    name: string;
-    time: Date;
+  name: string;
+  time: Date;
 }
 
 function generateContents(config: Config) {
-    return "Hello " + config.name + "! It's " + config.time.getHours() + " o\'clock and " + config.time.getMinutes() + " minutes."
+  return (
+    "Hello " +
+    config.name +
+    "! It's " +
+    config.time.getHours() +
+    " o'clock and " +
+    config.time.getMinutes() +
+    " minutes."
+  );
 }
 
 var config: Config = {
-    name: "Sasha",
-    time: new Date(),
-}
+  name: "Sasha",
+  time: new Date(),
+};
 
 document.body.innerHTML = generateContents(config);
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/index.html b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/index.html
@@ -1,14 +1,13 @@
 <!DOCTYPE html>
 <html lang="en">
   <head>
-    <link rel="stylesheet" href="styles.css">
-    <meta charset="utf-8">
+    <link rel="stylesheet" href="styles.css" />
+    <meta charset="utf-8" />
     <title>Theia Cloud</title>
   </head>
   <body>
-	  <script src="contentgenerator.js"></script>
-	  <script src="updatecontents.js"></script>
+    <script src="contentgenerator.js"></script>
+    <script src="updatecontents.js"></script>
   </body>
-<footer>
-</footer>
+  <footer></footer>
 </html>
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/styles.css b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/styles.css
@@ -1,11 +1,16 @@
 body {
-    background: rgb(255,218,218);
-    background: linear-gradient(90deg, rgba(255,218,218,1) 0%, rgba(255,218,218,1) 3%, rgba(215,248,255,1) 100%);
+  background: rgb(255, 218, 218);
+  background: linear-gradient(
+    90deg,
+    rgba(255, 218, 218, 1) 0%,
+    rgba(255, 218, 218, 1) 3%,
+    rgba(215, 248, 255, 1) 100%
+  );
 }
 
 html {
-    font-family: Arial, Helvetica, sans-serif;
-    text-align: center;
-    font-size: large;
-    color:darkslategray;
-}
+  font-family: Arial, Helvetica, sans-serif;
+  text-align: center;
+  font-size: large;
+  color: darkslategray;
+}
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/updatecontents.js b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/updatecontents.js
@@ -1 +1,3 @@
-setTimeout(function () { document.body.innerHTML = "Bye bye!"; }, 10000);
+setTimeout(function () {
+  document.body.innerHTML = "Bye bye!";
+}, 10000);
diff --git a/.../service/org.eclipse.theia.cloud.service/src/main/resources/META-INF/resources/index.html b/.../service/org.eclipse.theia.cloud.service/src/main/resources/META-INF/resources/index.html
diff --git a/terraform/modules/cluster_creation/gke/main.tf b/terraform/modules/cluster_creation/gke/main.tf
@@ -62,4 +62,4 @@ resource "google_container_node_pool" "primary_nodes" {
 
 data "google_client_config" "default" {
   depends_on = [google_container_cluster.primary, google_container_node_pool.primary_nodes]
-}
+}
diff --git a/terraform/modules/cluster_creation/minikube/versions.tf b/terraform/modules/cluster_creation/minikube/versions.tf
@@ -1,7 +1,7 @@
 terraform {
   required_providers {
     minikube = {
-      source = "scott-the-programmer/minikube"
+      source  = "scott-the-programmer/minikube"
       version = "0.2.3"
     }
   }
-Original file line number
+Diff line change
@@ Expand Up / @@ -62,4 +62,4 @@ resource "google_container_node_pool" "primary_nodes" { @@
     data "google_client_config" "default" {
       depends_on = [google_container_cluster.primary, google_container_node_pool.primary_nodes]
-    }
+    }