mirror of
https://github.com/foo-dogsquared/nixos-config.git
synced 2025-01-31 04:58:01 +00:00
users/foo-dogsquared: fix config errors
This commit is contained in:
parent
8ec51bff48
commit
543cb31a20
@ -28,7 +28,7 @@ in
|
||||
editorconfig.editorconfig
|
||||
];
|
||||
|
||||
settings = {
|
||||
userSettings = {
|
||||
"extensions.ignoreRecommendations" = true;
|
||||
};
|
||||
};
|
||||
|
@ -38,17 +38,17 @@ in
|
||||
diffoscope
|
||||
];
|
||||
|
||||
programs.git.settings = {
|
||||
config.difftool.prompt = false;
|
||||
programs.git.extraConfig = {
|
||||
difftool.prompt = false;
|
||||
|
||||
# Yeah, let's use this oversized diff tool, shall we?
|
||||
# Also, this config is based from this tip.
|
||||
# https://lists.reproducible-builds.org/pipermail/diffoscope/2016-April/000193.html
|
||||
config.difftool."diffoscope".cmd = ''
|
||||
difftool."diffoscope".cmd = ''
|
||||
"if [ $LOCAL = /dev/null ]; then diffoscope --new-file $REMOTE; else diffoscope $LOCAL $REMOTE; fi"
|
||||
'';
|
||||
|
||||
config.difftool."diffoscope-html".cmd = ''
|
||||
difftool."diffoscope-html".cmd = ''
|
||||
"if [ $LOCAL = /dev/null ]; then diffoscope --new-file $REMOTE --html - | cat; else diffoscope $LOCAL $REMOTE --html - | cat; fi"
|
||||
'';
|
||||
};
|
||||
|
Loading…
Reference in New Issue
Block a user