add zsh config

This commit is contained in:
jdonszelmann 2024-07-06 04:32:48 +02:00
parent 1da9036f7b
commit 527048be0c
No known key found for this signature in database
GPG key ID: E0C1EA36407B2FF2
11 changed files with 213 additions and 353 deletions

View file

@ -160,7 +160,8 @@ in
runBuildScripts = true;
loadOutDirsFromCheck = true;
};
checkOnSave = {
checkOnSave = true;
check = {
allFeatures = true;
command = "clippy";
extraArgs = [ "--no-deps" ];