aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoralyx <alyx@aleteoryx.me>2023-07-31 13:52:05 -0400
committeralyx <alyx@aleteoryx.me>2023-07-31 13:52:05 -0400
commitf0f5fc9703b8bc46ae81ab9e99d0da9b8f774cb6 (patch)
treeb3d796b61171dac54fb529daacb7403c1362d5a7
parent0490ebfefc2fb9383f8ff3a3302af2842e928377 (diff)
downloadRRCUtils-f0f5fc9703b8bc46ae81ab9e99d0da9b8f774cb6.tar.gz
RRCUtils-f0f5fc9703b8bc46ae81ab9e99d0da9b8f774cb6.tar.bz2
RRCUtils-f0f5fc9703b8bc46ae81ab9e99d0da9b8f774cb6.zip
remove gh/replit stuff
-rw-r--r--.github/workflows/main.yml21
-rw-r--r--.replit52
-rw-r--r--replit.nix6
3 files changed, 0 insertions, 79 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
deleted file mode 100644
index 749b7d1..0000000
--- a/.github/workflows/main.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: JSON updater
-
-on:
- schedule:
- - cron: "0 0 * * *"
-
- workflow_dispatch:
-
-jobs:
- DL:
- runs-on: ubuntu-latest
-
- steps:
- - uses: actions/checkout@v2
-
- - name: Update the danged JSON
- run: |
- cd $GITHUB_WORKSPACE
- rm circuits.json
- curl -o circuits.json "https://raw.githubusercontent.com/tyleo-rec/CircuitsV2Resources/master/misc/circuitsv2.json"
- git push
diff --git a/.replit b/.replit
deleted file mode 100644
index 2a1258e..0000000
--- a/.replit
+++ /dev/null
@@ -1,52 +0,0 @@
-hidden=[".config"]
-
-[nix]
-channel = "stable-21_11"
-
-[languages.html]
-pattern = "**/*.html"
- [languages.html.languageServer]
- start = ["vscode-html-language-server", "--stdio"]
- [languages.html.languageServer.initializationOptions]
- provideFormatter = true
- [languages.html.languageServer.configuration.html]
- customData = [ ]
- autoCreateQuotes = true
- autoClosingTags = true
- mirrorCursorOnMatchingTag = false
-
- [languages.html.languageServer.configuration.html.completion]
- attributeDefaultValue = "doublequotes"
-
- [languages.html.languageServer.configuration.html.format]
- enable = true
- wrapLineLength = 120
- unformatted = "wbr"
- contentUnformatted = "pre,code,textarea"
- indentInnerHtml = false
- preserveNewLines = true
- indentHandlebars = false
- endWithNewline = false
- extraLiners = "head, body, /html"
- wrapAttributes = "auto"
- templating = false
- unformattedContentDelimiter = ""
-
- [languages.html.languageServer.configuration.html.suggest]
- html5 = true
-
- [languages.html.languageServer.configuration.html.validate]
- scripts = true
- styles = true
-
- [languages.html.languageServer.configuration.html.hover]
- documentation = true
- references = true
-
- [languages.html.languageServer.configuration.html.trace]
- server = "off"
-
-[languages.javascript]
-pattern = "**/{*.js,*.jsx,*.ts,*.tsx,*.mjs,*.cjs}"
- [languages.javascript.languageServer]
- start = ["typescript-language-server", "--stdio"] \ No newline at end of file
diff --git a/replit.nix b/replit.nix
deleted file mode 100644
index 82dea6f..0000000
--- a/replit.nix
+++ /dev/null
@@ -1,6 +0,0 @@
-{ pkgs }: {
- deps = [
- pkgs.nodePackages.vscode-langservers-extracted
- pkgs.nodePackages.typescript-language-server
- ];
-} \ No newline at end of file