GithubHelp home page GithubHelp logo

bat theme not work about nix HOT 5 CLOSED

catppuccin avatar catppuccin commented on August 26, 2024
bat theme not work

from nix.

Comments (5)

getchoo avatar getchoo commented on August 26, 2024

have you tried running bat cache --build? this should be done automatically as of nix-community/home-manager#4350, but you may be running an older version or something just went wrong. i say this as in the current module, the name of the file and the theme option are the same. this is meant to guarantee that as long as the cache is up to date, the theme option will be referring to the correct file and recognized

this can be show by using bat --list-themes and looking in ~/.config/bat/themes. for example, with this configuration

{
  catppuccin.flavour = "mocha";
  
  programs.bat = {
    enable = true;
    catppuccin.enable = true;
  };
}

and an updated cache, i get the following
image

from nix.

birdmanmandbir avatar birdmanmandbir commented on August 26, 2024

@getchoo
I have tried it, but it still doesn’t work.
image
image

my inputs:

home-manager.url = "github:nix-community/home-manager";
catppuccin.url = "github:Stonks3141/ctp-nix";

from nix.

getchoo avatar getchoo commented on August 26, 2024

what revision of home-manager is this? given the current way themes are handled, it should not be possible for the name of the symlink to differ from that of the target with our configuration. specifically, "${name}.tmTheme and val.file will always be equal to each other in the mapAttrsToList function. i would recommend updating home-manager and regenerating this symlink

from nix.

birdmanmandbir avatar birdmanmandbir commented on August 26, 2024

Thank you! I removed bat and reinstalled it by modifying the programs.bat.enable = true, After doing so, the name of the symlink is now correct.
image
I believe that the symlink’s name is not updated after switching home-manager.

from nix.

getchoo avatar getchoo commented on August 26, 2024

closing this as most likely there's an issue with home-manager itself; you will probably get better support there. feel free to re-open if i misunderstood, though :)

from nix.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.