diff options
author | Vincent Ambo <mail@tazj.in> | 2024-06-09T16·56+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-06-09T17·56+0000 |
commit | 6414aad6d84fe675e8cc032dada829a00a54e619 (patch) | |
tree | d7a2f797c3880a2608387daa3154442d742a9a5b /.gitignore | |
parent | b703b14576a42271f59d5e7ed4f6593d3101fbf7 (diff) |
fix(tazjin/nixos): let home-manager overwrite files r/8231
Chromium or something keeps barfing conflicting mime-types files, which causes the entire home-manager activation to fail. I'd be fine with it just overwriting those files, but couldn't be bothered to figure out how to configure that, hence just use the fix from its error message. Change-Id: I2e4e0807339dd426b3d99578d0d004529403a882 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11769 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions