File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -145,9 +145,9 @@ update_plugins() {
145145 read -r plugin_name plugin_url plugin_ref_managed < <( echo ${managed_plugin} )
146146
147147 echo " [INFO] Updating: ${plugin_name} ${plugin_url} ${plugin_ref_managed} to HEAD"
148- plugin_ref_before_update=" $( export_plugins | egrep " ^\b${plugin_name} \b\s+" | sed -e ' s/^.*\s//' ) "
148+ plugin_ref_before_update=" $( export_plugins | grep -E " ^\b${plugin_name} \b\s+" | sed -e ' s/^.*\s//' ) "
149149 asdf plugin update " ${plugin_name} "
150- plugin_ref_after_update=" $( export_plugins | egrep " ^\b${plugin_name} \b\s+" | sed -e ' s/^.*\s//' ) "
150+ plugin_ref_after_update=" $( export_plugins | grep -E " ^\b${plugin_name} \b\s+" | sed -e ' s/^.*\s//' ) "
151151
152152 if [[ " ${plugin_ref_before_update} " == " ${plugin_ref_after_update} " ]]; then
153153 echo " [INFO] The plugin \" ${plugin_name} \" with git-ref \" ${plugin_ref_managed} \" is already up-to-date."
You can’t perform that action at this time.
0 commit comments