02baadae0d
rsyncrepo: ignore mypy cache
2023-11-01 19:49:00 +01:00
adcfb11f72
vscodium mypy: silence missing import checks by default
2023-10-20 21:31:56 +02:00
e6b13ad7b6
vscodium: extend default python env with setuptools
2023-10-20 00:27:05 +02:00
b5ac576fa9
vscodium: fix jedi-language-server by providing a default python env with it installed
2023-10-18 10:35:34 +02:00
ff5e044ea0
fixup! vscodium: set default themes
2023-10-10 10:38:29 +02:00
e1f16f2c71
vscodium: disable automatic Nix formatting
2023-10-10 09:48:20 +02:00
13a6dc0f66
vscodium: set default themes
...
it always tried to set the themes by itself at runtime
and then complained due to readonly settings
2023-10-09 10:49:56 +02:00
e84b06a09e
vscodium: reference black and mypy directly from nix store
2023-10-04 21:29:06 +02:00
25794fd364
vscodium black: ensure external black tooling is used
2023-10-04 19:28:35 +02:00
f5b29c30dc
vscodium: move mypy and black to own extensions due to deprecation
2023-10-04 16:20:18 +02:00
f2917af591
add ssh-loop shell helpers for FC infra
2023-09-28 19:31:15 +02:00
651b93da89
codium: adjust python extension settings to use Jedi
2023-09-26 11:54:21 +02:00
3724058439
vscodium: init installation via home-manager
2023-09-26 01:08:06 +02:00
a9a7f2bd6b
fix reporsync
2023-09-02 17:51:47 +02:00
68ccdd1b00
expose 1password SSH key password to batou
2023-09-02 17:50:56 +02:00
09cad34457
jq, age: add as commonly used dev tools
2023-07-19 10:02:07 +02:00
62c250097a
upgrade to nixpkgs-23.05
2023-06-01 16:40:43 +02:00
ce31103112
finally add a shorthand helper script for rsyncing repos to machines
2023-06-01 16:40:43 +02:00
02da74da11
ssh-config: add RZOB jump host
2023-03-04 11:23:14 +01:00
2f9d4529d3
re-enable most graphics tools under macOS
2023-02-11 01:38:30 +01:00
24bd8861d5
install nix-helpers nix-top and statix
2023-01-27 17:39:49 +01:00
4514333301
lazygit: install
2023-01-27 17:37:25 +01:00
8c92ac91da
ncdu: switch to version 1 due to zig breakages on macOS
2022-11-09 11:11:58 +01:00
6070ae7425
rename nixpkgs-review in line with upstream packaging
2022-10-30 20:33:16 +01:00
db997a2eb0
vim: set cursorline highlighting
2022-09-16 17:47:22 +02:00
61af7f0a99
ssh-config: nixify flyingcircus SSH config
2022-09-14 14:43:14 +02:00
5f27edbd21
ignore macOS specific file artifacts
2022-09-14 14:27:38 +02:00
ac4e42652e
python: switch to nixpkgs unstable channel and unbreak httpie
2022-08-30 01:08:50 +02:00
c43157c5c8
add black formatter as global python tooling
2022-08-19 13:29:33 +02:00
a83bfaed3f
add *some* multimedia apps to workmac profile
2022-05-31 13:17:50 +02:00
d531c0e1a8
SourceCode Pro font is required for some documents
2022-05-31 11:55:15 +02:00
d74fd749d0
overlay: clean up abandoned entries
2022-05-19 18:05:35 +02:00
ba828329a9
vim: use ctrl-c ctrl-v clipboard, not X11 middle click one
2022-05-19 18:05:15 +02:00
94aa73b2c0
switch vim flavour to Neovim; reason: macOS clipboard support
...
access to system clipboard was broken in command-line vim, the buffers
"+ or "* were said not to exist and neither unnamed or unnamedplus
clipboard settings were working.
Aliases nvim to "vim"
2022-05-19 17:11:04 +02:00
847196e0a3
factor out custom vimrc into a separate file
2022-05-19 14:16:21 +02:00
7fcba96288
properly escape shell variable strings like ${var} in shell scripts
2022-05-17 18:35:03 +02:00
8c50e3a074
init nix-darwin system config
...
TODO: symlink creation
2022-05-17 14:39:29 +02:00
0d8baaf276
install pre-commit util
2022-05-12 23:10:32 +02:00
4b35e44873
initial adaptation for macOS work device
2022-05-12 23:10:29 +02:00
fa9e6e81e1
zsh-syntax-highlighting not available as a oh-my-zsh plugin
2022-05-12 22:38:48 +02:00
7b7a10664e
move vimrc into home-manager config
2022-05-12 22:34:44 +02:00
1158a1ecfe
move zshrc into home-manager config
2022-05-12 22:31:59 +02:00
903e30368a
remove qtcreator
...
unused for several years
2022-05-08 16:35:40 +02:00
276e69dcd7
enable Nitrokey support
2022-05-01 16:25:15 +02:00
9bf248e735
add possibility for changing TMPDIR of nix daemon
...
commented out by default
2022-04-29 00:40:57 +02:00
7347648623
pulseaudio: switch back to stable
2022-04-01 16:14:59 +02:00
c13f432daa
pulseaudio: install 15.0 from a local nixpkgs git checkout for testing purposes
2022-03-27 11:43:54 +02:00
5f24ee5c5d
permanently install chromium as the go-to video call browser
2022-03-22 16:10:46 +01:00
9ffe136aa7
bluetooth: improve audio features
...
- better codecs
- media control buttons
2022-03-21 00:57:45 +01:00
c51c9daeca
re-adding Falkon as it's new release 3.2.0 works again
...
This reverts commit 4ce17f519f
2022-02-20 15:16:45 +01:00
