Moha
Moha
from the guide i found out that i can modify the distro detection with the `config.yaml` file. but how do i tell it to fetch the Linux aarch64 tarball instead...
@hasufell thanks. it worked!
@hasufell of course it's 🥰
hi @hasufell there is a new problem. **Ghcup** installs **Stack** and **Cabal** fine. but when **Ghc** is downloaded and installed, it tries to run `Ghc-pkg check` or something (before i...
> The log is truncated. Pastebin the contents of `~/.ghcup/logs/ghc-make.log` after running the failed command. sorry! i messed with ghcup. the log files are gone. i will try to download...
[i don't know what Pastebin is but i googled and past it there](https://pastebin.com/JG7EULZE) i don't know if this is the right place.
> Looks like a dynamic library is missing > > ``` > /bin/sh: /data/data/com.termux/files/home/.ghcup/tmp/ghcup-a03ca67b8436bf86/data/data/com.termux/files/home/.ghcup/ghc/9.4.7/lib/ghc-9.4.7/bin/ghc-pkg: No such file or directory > ``` > > Did you install the pre-requisites? > >...
i'm having the same problem in `Termux`. but my problem is known. since `elan` is a statically linked binary that does networking stuff and `Termux` is not `FHS` compliant it...
@Erotemic probably you have DNS lookup problems like me. you see, i got the same error when i tried to download `lean` but when `elan` is pointed to the right...
> > > > is it possible to expand bootlinux with `bootlinux -u user`, so that i can login with common user > > > > > > > >...