Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

lambda-mod-zsh-theme: init at eceee68cf46bba9f7f42887c2128b48e8861e31b #24479

Merged
merged 5 commits into from Apr 21, 2017
Merged

lambda-mod-zsh-theme: init at eceee68cf46bba9f7f42887c2128b48e8861e31b #24479

merged 5 commits into from Apr 21, 2017

Conversation

Ma27
Copy link
Member

@Ma27 Ma27 commented Mar 30, 2017

Motivation for this change

The lambda-mod-zsh-theme is a simple ZSH theme I currently use on my laptop.
As I currently switch to a nix-based setup for ZSH, I need a nix package for that.

(see https://github.com/halfo/lambda-mod-zsh-theme/ and https://github.com/halfo/lambda-mod-zsh-theme/blob/master/LICENSE for License information)

Things done
  • Tested using sandboxing
    (nix.useSandbox on NixOS,
    or option build-use-sandbox in nix.conf
    on non-NixOS)
  • Built on platform(s)
    • NixOS
    • macOS
    • Linux
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

@Ma27
Copy link
Member Author

Ma27 commented Apr 9, 2017

rebased onto current master and modified the behavior to make it possible to use ${lambda-mod-zsh-theme}/share as ZSH_CUSTOM path when working with oh-my-zsh.

Am I missing something or is this ready to be merged after that?

@bennofs
Copy link
Contributor

bennofs commented Apr 21, 2017

This looks good to me, thank you! If anything should go bad, we can still change this later.

@bennofs bennofs merged commit 1db5cf4 into NixOS:master Apr 21, 2017
@Ma27 Ma27 deleted the init/lambda-mod-zsh-theme branch April 22, 2017 07:02
@Ma27
Copy link
Member Author

Ma27 commented Apr 22, 2017

cool, thank you :-)

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.

None yet

2 participants