language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 12:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

path change: anton -> username

Browse source
This commit is contained in:
Anton-4 2023-09-06 19:42:25 +02:00 • committed by GitHub
parent 886bd26acf
commit b2df3362bf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/devtools_test.yml vendored
View file

@ -35,7 +35,7 @@ jobs:
if: steps.checklock.outputs.changed == 'true'
id: devtools_test_step
run: |
sed -i "s|/home/anton/gitrepos/roc|$(realpath .)|g" devtools/flake.nix
sed -i "s|/home/username/gitrepos/roc|$(realpath .)|g" devtools/flake.nix
cat devtools/flake.nix
mkdir -p ../temp
cp devtools/flake.nix ../temp

2
devtools/README.md
View file

@ -10,7 +10,7 @@ Further steps:
1. Copy the flake.nix and flake.lock file from the devtools folder to a new folder outside of the roc repo folder.
1. Run `git init` in the new folder.
1. Execute `git add flake.nix flake.lock`, nix will error if you don't do this.
1. Change `roc.url = "path:/home/anton/gitrepos/roc";` to the location of the roc folder on your machine.
1. Change `roc.url = "path:/home/username/gitrepos/roc";` to the location of the roc folder on your machine.
1. Follow instructions about vscode extensions [here](#extensions).
1. add other dev tools you like in the `devInputs` list. You can search for those [here](https://search.nixos.org/packages).
1. Run `nix develop`.

2
devtools/flake.nix
View file

@ -3,7 +3,7 @@
inputs = {
# change this path to the path of your roc folder
roc.url = "path:/home/anton/gitrepos/roc";
roc.url = "path:/home/username/gitrepos/roc";
# to easily make configs for multiple architectures
flake-utils.url = "github:numtide/flake-utils";
};