Skip to content

[rofi-theme-selector] Replace $HOME with a tilde - #1790

Open
yusufaktepe wants to merge 1 commit into
davatorium:nextfrom
yusufaktepe:theme-selector
Open

[rofi-theme-selector] Replace $HOME with a tilde#1790
yusufaktepe wants to merge 1 commit into
davatorium:nextfrom
yusufaktepe:theme-selector

Conversation

@yusufaktepe

Copy link
Copy Markdown

This change will make it easier to share the configuration with different users.

@yusufaktepe

Copy link
Copy Markdown
Author

@DaveDavenport I noticed that in 09e0f87, you preferred appending over changing the line. Is there a reason for this?

@DaveDavenport

Copy link
Copy Markdown
Collaborator

because sed modifying a @theme is not a valid way to completely change to a new theme.

This should be obvious:

@theme "mytheme"

@import "mytheme-mods"

window {
   fullscreen: true;
}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants