From 30366aeabbe98b57afef3b68410c9ea886dd8547 Mon Sep 17 00:00:00 2001
From: Jamie B <53781962+JamieB-gu@users.noreply.github.com>
Date: Tue, 23 Jul 2024 17:00:24 +0100
Subject: [PATCH] Added `.tool-versions` file and Metals to `.gitignore` (#196)

Adding `.tool-versions` makes it clear which Java version to use.

We want to ignore build files for the Metals extension.
---
 .gitignore     | 5 +++++
 .tool-versions | 1 +
 2 files changed, 6 insertions(+)
 create mode 100644 .tool-versions

diff --git a/.gitignore b/.gitignore
index 9f4ade3..27efdb5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,3 +50,8 @@ importmap.json
 
 jspm-snyk-workaround/package-lock.json
 jspm-snyk-workaround/result
+
+# Metals
+.metals/
+metals.sbt
+.bloop/
diff --git a/.tool-versions b/.tool-versions
new file mode 100644
index 0000000..918109e
--- /dev/null
+++ b/.tool-versions
@@ -0,0 +1 @@
+java corretto-8.422.05.1