Searched full:wget (Results 1 – 3 of 3) sorted by relevance
17 wget -nv https://code.jquery.com/jquery-${JQ_VERSION}.min.js -O jquery.min.js19 wget -nv "$JQUI_HOST/jquery-ui.min.js" -O jquery-ui.min.js23 wget -nv -qO- "$JQUI_HOST/themes/smoothness/jquery-ui.css" | sed "s/font-family:[^;]*;//" > jquery-…27 wget -nv "$JQUI_HOST/themes/smoothness/$img" -O jquery-ui-theme/$img34 wget -nv "$JQUI_GIT/i18n/datepicker-$CODE.js" -O $LNG/jquery.ui.datepicker.js41 wget -nv "$JQUI_GIT/i18n/datepicker-de.js" -O ../../../inc/lang/de-informal/jquery.ui.datepicker.js42 wget -nv "$JQUI_GIT/i18n/datepicker-pt-BR.js" -O ../../../inc/lang/pt-br/jquery.ui.datepicker.js43 wget -nv "$JQUI_GIT/i18n/datepicker-zh-CN.js" -O ../../../inc/lang/zh/jquery.ui.datepicker.js44 wget -nv "$JQUI_GIT/i18n/datepicker-zh-TW.js" -O ../../../inc/lang/zh-tw/jquery.ui.datepicker.js45 wget -nv "$JQUI_GIT/i18n/datepicker-cy-GB.js" -O ../../../inc/lang/cy/jquery.ui.datepicker.js
98 wget ${{ needs.build.outputs.url }} -O dokuwiki-${{ needs.build.outputs.file }}.tgz
350 'w', 'wall', 'watch', 'wc', 'wget', 'whatis', 'whereis',