effekt-lang / effekt-lang/effekt-website

Update Effekt on Linux to use `effekt` and not `effekt.sh`

Open Beginner friendly
#125 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
SCSS
Stars
7
Forks
6
PR merge metrics
No merged PRs in 30d

Description

By now, we have removed the need for `effekt.sh`. We should update the website [Effekt on Linux](https://effekt-lang.org/docs#effekt-on-linux) section (and other places) to not mention it.

Contributor guide

Open the contributing guide

Research direction

Search the website content for references to `effekt.sh`, starting with the “Effekt on Linux” section linked in the issue. Update the affected documentation to use `effekt` instead, and confirm that the website and other referenced places no longer mention `effekt.sh`.

Written by the indexing model from the issue text.

Assessment

Domain
documentation
Issue type
Documentation
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
68/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.