Comment

Comment by flas9sd

it's pretty straightforward to change: a makefile, some preset variables in a .sh, then it iterates through https://github.com/Anduin2017/AnduinOS/tree/5bbd94d9c4fa455e... - the tree also points at the gnome-extensions it uses to create and mod the global menu.

can't be too hard to rebase onto Debian (the superior .deb distribution). I put it on 2 endof10 laptops as whatever I do every few years, kde just doesn't stick

parent flas9sd 1 year ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton