mirror of
https://github.com/nix-community/home-manager
synced 2024-11-11 05:39:44 +01:00
parent
1947c9901c
commit
87c2ff0a36
3 changed files with 0 additions and 6 deletions
|
@ -100,9 +100,7 @@ in {
|
||||||
-- Generated by Home Manager.
|
-- Generated by Home Manager.
|
||||||
-- See https://wezfurlong.org/wezterm/
|
-- See https://wezfurlong.org/wezterm/
|
||||||
|
|
||||||
-- Add config folder to watchlist for config reloads.
|
|
||||||
local wezterm = require 'wezterm';
|
local wezterm = require 'wezterm';
|
||||||
wezterm.add_to_config_reload_watch_list(wezterm.config_dir)
|
|
||||||
|
|
||||||
${cfg.extraConfig}
|
${cfg.extraConfig}
|
||||||
'';
|
'';
|
||||||
|
|
|
@ -10,9 +10,7 @@
|
||||||
-- Generated by Home Manager.
|
-- Generated by Home Manager.
|
||||||
-- See https://wezfurlong.org/wezterm/
|
-- See https://wezfurlong.org/wezterm/
|
||||||
|
|
||||||
-- Add config folder to watchlist for config reloads.
|
|
||||||
local wezterm = require 'wezterm';
|
local wezterm = require 'wezterm';
|
||||||
wezterm.add_to_config_reload_watch_list(wezterm.config_dir)
|
|
||||||
|
|
||||||
return {}
|
return {}
|
||||||
|
|
||||||
|
|
|
@ -53,9 +53,7 @@
|
||||||
-- Generated by Home Manager.
|
-- Generated by Home Manager.
|
||||||
-- See https://wezfurlong.org/wezterm/
|
-- See https://wezfurlong.org/wezterm/
|
||||||
|
|
||||||
-- Add config folder to watchlist for config reloads.
|
|
||||||
local wezterm = require 'wezterm';
|
local wezterm = require 'wezterm';
|
||||||
wezterm.add_to_config_reload_watch_list(wezterm.config_dir)
|
|
||||||
|
|
||||||
return {
|
return {
|
||||||
font = wezterm.font("JetBrains Mono"),
|
font = wezterm.font("JetBrains Mono"),
|
||||||
|
|
Loading…
Reference in a new issue