diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2020-07-09 19:29:53 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2020-07-09 19:29:53 +0200 |
| commit | 295e4d6da821521b0956c7e8fe2eed55c3953f73 (patch) | |
| tree | bb91ce06bcda1ed448cf1d72d6e67e14947b2965 | |
| parent | 05a818bb65d00ef89cf97e59ebca867fcef5863a (diff) | |
weechat: Add update_plugin_header.sh script
| -rwxr-xr-x | weechat/update_plugin_header.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/weechat/update_plugin_header.sh b/weechat/update_plugin_header.sh new file mode 100755 index 0000000..0499c15 --- /dev/null +++ b/weechat/update_plugin_header.sh @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +set -euo pipefail +version="$(weechat --version)" +echo "Detected weechat v${version}" +curl "https://raw.githubusercontent.com/weechat/weechat/v${version}/src/plugins/weechat-plugin.h" -o weechat-plugin.h |