diff options
| author | Fangrui Song <i@maskray.me> | 2017-05-29 13:02:09 -0700 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2017-05-29 16:55:03 -0400 |
| commit | 2628c8f38ee117d41a340afc87454db037b69933 (patch) | |
| tree | 923b00c3014887f8ad52fd6962d3ce790a1f6d4d /ci | |
| parent | 112b3c5e0ae232fdbce90cd505c57f2c4abc4a22 (diff) | |
Add Zsh completion file
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/before_deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh index 9ab2c4e9..d15105ca 100644 --- a/ci/before_deploy.sh +++ b/ci/before_deploy.sh @@ -20,7 +20,8 @@ mk_tarball() { cp target/$TARGET/release/rg "$td/$name/" cp {doc/rg.1,README.md,UNLICENSE,COPYING,LICENSE-MIT} "$td/$name/" - cp target/$TARGET/release/build/ripgrep-*/out/{_rg,rg.bash-completion,rg.fish,_rg.ps1} "$td/$name/complete/" + cp target/$TARGET/release/build/ripgrep-*/out/{rg.bash-completion,rg.fish,_rg.ps1} "$td/$name/complete/" + cp complete/_rg "$td/$name/complete/" pushd $td tar czf "$out_dir/$name.tar.gz" * |