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
8d3d4acf7e
Add haskell compiler
2022-10-25 19:45:38 +02:00
2ebe1800bc
Add pygments (for minted)
2022-10-24 18:35:22 +02:00
8316a569ea
Add rust-analyzer
2022-10-21 14:14:42 +02:00
609c8bdf82
Add bqn
2022-10-21 14:14:37 +02:00
