Florian Heiderich

icon indicating a website link https://www.heiderich.org/math/

Results 15 comments of Florian Heiderich

Fixes #111: Build on #113 also address `Unable to find file /etc/selinux/config` error

@prudhvigodithi Yes, exactly. The two commits from #113 are included in this PR.

[BUG][No module named 'selinux' during executing of task "Disable the selinux"]

I have a similar issue with Debian bullseye and ansible 2.10.8. However the error is ``` {"changed": false, "details": "Please install SELinux-policy package, if this package is not installed previously.",...

Is there an alternative project to vim-taskwarrior?

@soywod I had a quick glace at Kronos. It looks appealing. You propose: > We could keep the kronos UI, and add the taskwarrior integration from vim-taskwarrior (at least the...

Is there an alternative project to vim-taskwarrior?

@soywod I am using taskwarrior and would like to continue using it. Therefore I am personally not very inclined to switch to a product that does not allow me to...

Known but unset mathematical properties

Also there are variants of monoidal categories that do not require LeftUnitor and RightUnitor to be isomorphisms. Same goes for braidings.