21 lines
1.0 KiB
Markdown
21 lines
1.0 KiB
Markdown
DeaDvey's domain
|
|
|
|
[Home page](/index.md) [Blogs](/blog/) [Resources](/resources/)
|
|
---Waybar theme switcher for home manager:
|
|
|
|
I made this basic script for changing my home manager theme and mode settings:
|
|
<div class="indent code">echo theme = $1
|
|
echo mode = $2
|
|
sed -i "s/THEME\ =\ ".*";/THEME\ =\ \"\${1}\";/" $HOME/.config/home-manager/home.nix
|
|
sed -i "s/MODE\ =\ ".*";/MODE\ =\ \"\${2}\";/" $HOME/.config/home-manager/home.nix
|
|
home-manager switch</div> which I can run like <div class="code">./theme-switcher.sh gruvbox dark</div> then it writes the theme to my home manager configuration and reloads home manager. I can then have several waybar modules like such:
|
|
<div class="code indent">
|
|
"custom/gruvbox" = {
|
|
on-click = "$HOME/scripts/theme-switcher.sh gruvbox \${MODE}";
|
|
format = "";
|
|
};
|
|
</div>
|
|
Which I can easily click to change themes
|
|
Pretty basic, but I thought I'd share, also it takes about 10 seconds to change theme so it's not quite instant gratification.<br/>Fly You High - DeaDvey
|
|
|
|
*Published: 15d/7e8 at a857* |