Commit Graph

19 Commits

Author SHA1 Message Date
c2d1d11231 Install kmonad 2024-07-06 15:05:36 +02:00
4a5dd7a777 Update 2024-07-03 16:03:08 +02:00
0a10f38b34 Include emacs as a flake, not a submodule 2024-04-24 16:14:39 +02:00
9b24d3d893 Update flake
Get rid of the two different nixpkgs. Not sure why it was there. Maybe this is
a mistake :))
2024-04-01 01:22:32 +02:00
de6f0c5ca5 Remove custom Emacs build
Switching (updating) caused Emacs to build, which takes a couple of minutes.
This made is less tempting to update, leading to a bit more clutter.

It seems that I am sacrificing rounded corners and having the color theme sync
with the OS.
2024-03-28 01:56:03 +01:00
6b5d16cd6d Update
Xwidgets support seems to have been broken. Also, I now needed to add
treesitter support explicitly. I also added some fonts.

I am not happy with loosing Xwidgets, although I didn't really use it.
2023-06-27 17:17:40 +02:00
30a11f05d4 emacsGit has been renamed to emacs-git 2023-06-27 00:43:19 +02:00
b6f6d9c127 Get xwidgets support in Emacs 2023-05-30 15:04:55 +02:00
ba7db20589 Some cleanup from ChatGPT 2023-01-08 01:31:34 +01:00
7a4ddb45ca Simplify Emacs overlay 2022-12-23 01:37:11 +01:00
9e681067f1 Updates
Emacs builds again, so first update to Emacs for a while. Python311 failed
during update, so I downgraded.
2022-12-22 01:15:21 +01:00
ee76ccb98b Format 2022-11-20 15:24:29 +01:00
c625468d24 Add local package for Maude
The "official" package for Maude is broken on darwin. This one downloads and
installs the binary. Not as nice as building from source, but much easier...
2022-11-20 13:17:46 +01:00
5bfd11e88f Add shortcat! 2022-11-03 12:25:37 +01:00
a4d5473ee4 update 2022-10-08 23:25:16 +02:00
cdbfc31d3b Remove misspelled allowUnfree 2022-09-20 21:13:30 +02:00
70e2e4f269 Rounded corners in emacs 2022-09-20 00:51:33 +02:00
c43ca98179 Refactoring 2022-09-19 16:34:33 +02:00
746ea0f434 Initial commit
Trying out nix on a new machine. I would think the install instructions are
under-specified. We'll see if this will turn out usable.
2022-09-18 18:30:24 +02:00