Skip to content

Commit 2f8e48a

Browse files
authored
Fix links to vscode-language-dhall repository (#2118)
While the HTTP links properly redirect to the new repo, the git clone command would checkout an old `master` branch. It took me a while to figure out what went wrong 😅
1 parent fa27901 commit 2f8e48a

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

dhall-lsp-server/README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
# Dhall language support in VSCode/ium
22

33
The Dhall language integration consists of the following parts:
4-
- The VSCode/ium plugin "Dhall Language Support" *([vscode-language-dhall](https://github.com/PanAeon/vscode-language-dhall))* adds syntax highlighting for Dhall files.
5-
- The VSCode/ium plugin "Dhall LSP Server" *([vscode-dhall-lsp-server](https://github.com/PanAeon/vscode-dhall-lsp-server))* implements the LSP client – yes, there is a naming issue here – that communicates with the backend via the [LSP protocol](https://microsoft.github.io/language-server-protocol/specification) to provide advanced language features like error diagnostics or type information, etc.
4+
- The VSCode/ium plugin "Dhall Language Support" *([vscode-language-dhall](https://github.com/dhall-lang/vscode-language-dhall))* adds syntax highlighting for Dhall files.
5+
- The VSCode/ium plugin "Dhall LSP Server" *([vscode-dhall-lsp-server](https://github.com/dhall-lang/vscode-dhall-lsp-server))* implements the LSP client – yes, there is a naming issue here – that communicates with the backend via the [LSP protocol](https://microsoft.github.io/language-server-protocol/specification) to provide advanced language features like error diagnostics or type information, etc.
66
- [*dhall-lsp-server*](https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-lsp-server), which is part of the [*dhall-haskell*](https://github.com/dhall-lang/dhall-haskell) project, implements the actual LSP server (i.e. the backend) that implements those language features in an editor agnostic way, though at the moment only a VSCode/ium frontend exists.
77

88
# Installation
@@ -23,7 +23,7 @@ The "official" releases can be installed as follows:
2323
2. Install the *typescript* compiler with `npm install -g typescript`. I recommend running `npm config set prefix '~/.local'` first to have npm install the executable in `~/.local/bin`; this avoids having to use *sudo* and polluting the rest of the system.
2424
2. Check out a copy of the vscode-dhall-lsp-server repository into the VSCode/ium extensions folder
2525
```
26-
git clone [email protected]:PanAeon/vscode-dhall-lsp-server.git ~/.vscode-oss/extensions/vscode-dhall-lsp-server
26+
git clone [email protected]:dhall-lang/vscode-dhall-lsp-server.git ~/.vscode-oss/extensions/vscode-dhall-lsp-server
2727
```
2828
(replace `~/.vscode-oss/` with `~/.vscode/` if you use VSCode instead of VSCodium).
2929
3. Run the remaining commands in the checked-out directory

0 commit comments

Comments
 (0)