taotien/NOflake
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

gas gas gas

Browse source
This commit is contained in:
Tao Tien 2024-09-21 17:31:00 -07:00
parent 3aec7a5e2a
commit 1e5540a803
3 changed files with 19 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

1
extras/dev.nix
View file

@ -1,5 +1,6 @@
{pkgs, ...}: { {pkgs, ...}: {
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
asm-lsp
gh gh
# bash-language-server # bash-language-server
qemu qemu

2
users/tao.nix
View file

@ -6,7 +6,7 @@
... ...
}: { }: {
users.users.tao.packages = with pkgs; [ users.users.tao.packages = with pkgs; [
davinci-resolve # davinci-resolve
nufmt nufmt
freerdp freerdp
nixos-anywhere nixos-anywhere

30
users/tao/helix.nix
View file

@ -7,6 +7,7 @@
settings = { settings = {
theme = "gruvbox_dark_hard"; theme = "gruvbox_dark_hard";
editor = { editor = {
shell = ["nu" "--stdin" "-c"];
# rainbow-brackets = true; # rainbow-brackets = true;
line-number = "relative"; line-number = "relative";
cursorline = true; cursorline = true;
@ -52,7 +53,7 @@
}; };
}; };
languages = { languages = {
use-grammars.only = ["rust" "c" "cpp" "typst" "nix" "html" "toml" "markdown" "just" "bash"]; use-grammars.only = ["rust" "c" "cpp" "typst" "nix" "html" "toml" "markdown" "just" "bash" "gas"];
language = [ language = [
{ {
name = "arduino"; name = "arduino";
@ -129,14 +130,14 @@
unit = "\t"; unit = "\t";
}; };
} }
{ # {
name = "java"; # name = "java";
auto-format = true; # auto-format = true;
indent = { # indent = {
tab-width = 4; # tab-width = 4;
unit = "\t"; # unit = "\t";
}; # };
} # }
{ {
name = "javascript"; name = "javascript";
auto-format = true; auto-format = true;
@ -169,10 +170,13 @@
}; };
}; };
language-server = { language-server = {
jdtls = { # gas = {
command = "jdtls"; # command = "asm-lsp";
args = ["-data" "/home/tao/.cache/jdtls/workspace"]; # };
}; # jdtls = {
# command = "jdtls";
# args = ["-data" "/home/tao/.cache/jdtls/workspace"];
# };
arduino-language-server = { arduino-language-server = {
command = "boxxy"; command = "boxxy";
args = ["arduino-language-server" "-cli" "arduino-cli" "-cli-config" "~/.local/share/arduino/cli/arduino-cli.yaml" "-jobs" "0"]; args = ["arduino-language-server" "-cli" "arduino-cli" "-cli-config" "~/.local/share/arduino/cli/arduino-cli.yaml" "-jobs" "0"];