Adrian Frischkorn
Adrian Frischkorn
It seems like this is an issue with `pip` as it does not use my `.gitconfig`. I tried `python -m coq deps` in the COQ install dir and got the...
Same for me.
I had the same issue with my webjob recently. I have deployed the webjob within a web app via Azure DevOps. The web app is scaled out to multiple instances,...
What is necessary for native wayland support? Any pointers? I am a newbie in this field but maybe I can work on a PR... I am asking because I switched...
Can confirm. Same for me on Arch with Sway and Wayland.
Another option is to manually download the compressed files and install them via pip into the coq environment. The files have to be installed into the `RT_DIR`. You can find...
If you can give me some pointers I could take over as result streaming would be similar to django unit test result streaming. It uses the unit test `TestRunner` under...
I assume you are using `venv`. If in your code base, can you suspend lunarvim (ctrl+z), open the python interpreter and try to `import unittest`. Does this work? Are there...
Hi, great scripts. I made the backlight device configurable through the config. If you want to merge my PR please be careful with the PKGBUILD file. I have switched the...