Commit Graph

78 Commits

Author SHA1 Message Date
587368ee9e Some macOS apps 2024-03-22 20:30:16 +01:00
f7f1591ae9 Remove modifiers from karabinder df to escape 2024-03-22 20:29:18 +01:00
81d2d7885a Don't ignore .dir-locals.el 2024-03-22 20:28:58 +01:00
0b53209219 Add karabiner complex modification (with home-manager) 2023-08-05 13:38:34 +02:00
a22877af9e Update and add docker and sourcegraph 2023-07-10 18:27:03 +02:00
3e4b89bba3 Update emacs config 2023-06-27 17:21:01 +02: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
be71dc4df6 Add minizinc 2023-06-23 15:09:02 +02:00
34774a0c7c Attempt direnv reload when opening a new shell 2023-06-11 14:15:14 +02:00
b6f6d9c127 Get xwidgets support in Emacs 2023-05-30 15:04:55 +02:00
ea0aa27c1e Update 2023-05-30 13:33:53 +02:00
f245471e4a Update emacs 2023-05-29 23:55:30 +02:00
a4beee57af Update emacs 2023-05-08 09:50:56 +02:00
0d1d2687b2 Update maude 2023-05-04 00:09:34 +02:00
d2c5cd3287 Update 2023-05-04 00:09:27 +02:00
f31b0b25e8 Add zoom 2023-04-30 14:16:08 +02:00
3db6c8dd70 Updates 2023-03-29 23:30:21 +02:00
078c42eefa Update 2023-03-24 13:21:47 +01:00
f5ce1951f5 Improve homebrew setup
Uninstall brew packages when they are removed from this config.
2023-02-19 20:09:59 +01:00
52a5f54098 Update 2023-02-19 20:08:40 +01:00
7dc748407a Give direnv another go 2023-02-18 21:06:14 +01:00
f320e7029a Add signal 2023-02-18 20:44:39 +01:00
43506a8e4c Updates 2023-02-10 19:34:23 +01:00
fa513d0ab5 Get karabiner from homebrew casks 2023-02-10 17:52:00 +01:00
d0b79c42aa Add go language server 2023-01-30 23:34:41 +01:00
c395c33dcc Trying out orion! 2023-01-30 23:34:25 +01:00
39ff9d43a3 Sort pkgs 2023-01-24 23:16:06 +01:00
c910fc9d89 Updates
Now I have two LaTeX-installations. This is because xindy was missing from the
Nix one... I don't like it, but it works for now.
2023-01-22 16:33:50 +01:00
60d7665cb7 Add python LSP server 2023-01-16 23:29:25 +01:00
ba7db20589 Some cleanup from ChatGPT 2023-01-08 01:31:34 +01:00
aede6595d6 Add some Python packages 2023-01-08 01:31:05 +01:00
946d46dd13 Sort casks 2022-12-23 18:04:41 +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
d84e0db584 Add dropbox 2022-12-21 18:49:44 +01:00
49d7e100d3 Update 2022-12-15 15:42:34 +01:00
3979bfc600 Add jq 2022-12-02 23:04:11 +01:00
aa1a79c5f2 Update to Python 3.11 2022-12-02 23:03:56 +01:00
e8e9ab8f1d Update 2022-11-25 22:55:49 +01:00
ee76ccb98b Format 2022-11-20 15:24:29 +01:00
1d66508060 Add norwegian dictionary for aspell
This was a major annoyance that just got fixed!

See: 2d1dc67fe1
2022-11-20 13:19:09 +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
5e29ff90cb Update
The home-activation seems resolved.
2022-11-19 15:53:03 +01:00
6e4d6655b4 Update 2022-11-04 18:24:46 +01:00
5bfd11e88f Add shortcat! 2022-11-03 12:25:37 +01:00
a55fb7c463 Set $JAVA_HOME 2022-11-03 12:25:27 +01:00
c0196b2b01 Emacs submodule update 2022-10-30 22:54:42 +01:00
6e1b30b0cd Haskell with packages 2022-10-30 22:54:22 +01:00
bfbc38f306 Update 2022-10-30 22:54:16 +01:00