mirror of
https://github.com/nix-community/home-manager.git
synced 2025-11-08 19:46:05 +01:00
mkFirefoxModule: fix userChrome with leading comment (#6836)
userChrome lines that started with a leading comment would cause an eval failure.
This commit is contained in:
parent
c6b75d69b6
commit
c3c91dd8b4
4 changed files with 24 additions and 9 deletions
|
|
@ -874,7 +874,11 @@ in
|
||||||
"chrome"
|
"chrome"
|
||||||
else
|
else
|
||||||
"chrome/userChrome.css";
|
"chrome/userChrome.css";
|
||||||
sourcePath = if lib.types.path.check profile.userChrome then profile.userChrome else null;
|
sourcePath =
|
||||||
|
if ((i: lib.isPath i && lib.types.path.check i) profile.userChrome) then
|
||||||
|
profile.userChrome
|
||||||
|
else
|
||||||
|
null;
|
||||||
in
|
in
|
||||||
# Merge the regular profile settings with extension settings
|
# Merge the regular profile settings with extension settings
|
||||||
mkMerge (
|
mkMerge (
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,7 @@
|
||||||
|
/*
|
||||||
|
This is a simple comment that should be written inside the `chrome/userChrome.css`
|
||||||
|
*/
|
||||||
|
|
||||||
#urlbar {
|
#urlbar {
|
||||||
min-width: none !important;
|
min-width: none !important;
|
||||||
border: none !important;
|
border: none !important;
|
||||||
|
|
|
||||||
|
|
@ -18,14 +18,17 @@ in
|
||||||
basic.isDefault = true;
|
basic.isDefault = true;
|
||||||
lines = {
|
lines = {
|
||||||
id = 1;
|
id = 1;
|
||||||
userChrome = # CSS
|
userChrome = ''
|
||||||
''
|
/*
|
||||||
#urlbar {
|
This is a simple comment that should be written inside the `chrome/userChrome.css`
|
||||||
min-width: none !important;
|
*/
|
||||||
border: none !important;
|
|
||||||
outline: none !important;
|
#urlbar {
|
||||||
}
|
min-width: none !important;
|
||||||
'';
|
border: none !important;
|
||||||
|
outline: none !important;
|
||||||
|
}
|
||||||
|
'';
|
||||||
};
|
};
|
||||||
path = {
|
path = {
|
||||||
id = 2;
|
id = 2;
|
||||||
|
|
|
||||||
|
|
@ -1,3 +1,7 @@
|
||||||
|
/*
|
||||||
|
This is a simple comment that should be written inside the `chrome/userChrome.css`
|
||||||
|
*/
|
||||||
|
|
||||||
#urlbar {
|
#urlbar {
|
||||||
min-width: none !important;
|
min-width: none !important;
|
||||||
border: none !important;
|
border: none !important;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue