diff options
author | 2022-10-03 21:42:20 +0530 | |
---|---|---|
committer | 2022-10-03 21:42:20 +0530 | |
commit | af120ab348f2e1a5a39dec035ed9dcf84189a64e (patch) | |
tree | 2a3aadd7ce1b7b771dfe3fe7c983569726c8d7ed /zsh/oh-my-zsh/plugins/ant/README.md | |
download | dotfiles-af120ab348f2e1a5a39dec035ed9dcf84189a64e.tar.gz dotfiles-af120ab348f2e1a5a39dec035ed9dcf84189a64e.tar.bz2 dotfiles-af120ab348f2e1a5a39dec035ed9dcf84189a64e.zip |
dotfiles
Diffstat (limited to 'zsh/oh-my-zsh/plugins/ant/README.md')
-rw-r--r-- | zsh/oh-my-zsh/plugins/ant/README.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/zsh/oh-my-zsh/plugins/ant/README.md b/zsh/oh-my-zsh/plugins/ant/README.md new file mode 100644 index 0000000..5712372 --- /dev/null +++ b/zsh/oh-my-zsh/plugins/ant/README.md @@ -0,0 +1,12 @@ +# Ant + +This plugin provides completion for [Ant](https://ant.apache.org/). + +To use it, add `ant` to the plugins array in your zshrc file: + +```zsh +plugins=(... ant) +``` + +It caches ant targets in a file named `.ant_targets`, you might want to add that to +your `.gitignore` file. |