diff options
author | Dan <2481552+opes@users.noreply.github.com> | 2018-04-30 21:07:55 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-30 21:07:55 +0300 |
commit | fbb85e77e3dc307c21b79c655302158077fad916 (patch) | |
tree | f31b99e9fa274d247551537a694f615167895379 /docker/zgen | |
parent | 75c6838a0dbb2fc84f2cf7d71cae9b147b04a379 (diff) | |
parent | 13b0e383a066c9c37d5cf71d4af521f9b73a173e (diff) |
Merge branch 'master' into chruby_options
Diffstat (limited to 'docker/zgen')
-rw-r--r-- | docker/zgen/Dockerfile | 8 | ||||
-rw-r--r-- | docker/zgen/install.zsh | 5 | ||||
-rw-r--r-- | docker/zgen/zshrc | 10 |
3 files changed, 23 insertions, 0 deletions
diff --git a/docker/zgen/Dockerfile b/docker/zgen/Dockerfile new file mode 100644 index 00000000..48e44c77 --- /dev/null +++ b/docker/zgen/Dockerfile @@ -0,0 +1,8 @@ +ARG base +FROM p9k:${base} + +COPY docker/zgen/install.zsh /tmp/ +RUN zsh /tmp/install.zsh + +COPY ./ p9k/ +COPY docker/zgen/zshrc .zshrc diff --git a/docker/zgen/install.zsh b/docker/zgen/install.zsh new file mode 100644 index 00000000..5cdc6181 --- /dev/null +++ b/docker/zgen/install.zsh @@ -0,0 +1,5 @@ +#!/bin/zsh + +git clone https://github.com/tarjoilija/zgen.git "${HOME}/.zgen" + +# EOF diff --git a/docker/zgen/zshrc b/docker/zgen/zshrc new file mode 100644 index 00000000..1fcb75b9 --- /dev/null +++ b/docker/zgen/zshrc @@ -0,0 +1,10 @@ +# load zgen +source ~/.zgen/zgen.zsh + +# if the init scipt doesn't exist +if ! zgen saved; then + zgen load ~/p9k/powerlevel9k.zsh-theme + + # generate the init script from plugins above + zgen save +fi |