Migrated legion over. Started migrating hijiri

This commit is contained in:
Nikodem Rabuliński 2023-09-20 09:47:17 +02:00
parent 31dd42d37d
commit f79b3d6ff7
No known key found for this signature in database
GPG key ID: FF629AA9E08138DB
40 changed files with 397 additions and 228 deletions

View file

@ -1,11 +1,8 @@
{
pkgs,
lib,
...
}: {
{pkgs, ...}: {
programs.helix = {
enable = true;
settings = {
theme = "base16_default_dark";
editor = {
true-color = true;
line-number = "relative";
@ -15,7 +12,6 @@
cursorline = true;
auto-save = true;
indent-guides.render = true;
theme = "base16_default_dark";
};
};
languages = {