This commit is contained in:
xiongdian.me 2023-01-05 21:26:50 +08:00
parent dd3c8b1665
commit 3d54aca8b7
2 changed files with 5 additions and 2 deletions

View File

@ -60,6 +60,7 @@ jobs:
rev=`git rev-parse HEAD` rev=`git rev-parse HEAD`
pwd pwd
set -x set -x
rm -rf /usr/local/bin/2to3-3.11 /usr/local/bin/2to3
./install.sh -adl ./install.sh -adl
test `git rev-parse HEAD` = "$rev" test `git rev-parse HEAD` = "$rev"
@ -132,4 +133,6 @@ jobs:
- name: run tests - name: run tests
shell: /bin/zsh -ileo PIPE_FAIL {0} shell: /bin/zsh -ileo PIPE_FAIL {0}
run: source tools/test.zsh run: |
dfs cd
source tools/test.zsh

View File

@ -15,7 +15,7 @@ if [[ "${BASH_SOURCE[0]}" != "${0}" ]]; then
-q*|--quite ) export DFS_QUIET=1 ;; -q*|--quite ) export DFS_QUIET=1 ;;
-l*|--lite ) export DFS_LITE=1 ;; -l*|--lite ) export DFS_LITE=1 ;;
--color ) export DFS_COLOR=1 ;; --color ) export DFS_COLOR=1 ;;
--dry-run ) export DFS_DRY_RUN=1 ;; --dry-run ) export DFS_DRY_RUN=1 ;; # TODO!!!
--*=* ) GOT_OPTS+=("${ARG%%=*}" "${ARG#*=}") ;; --*=* ) GOT_OPTS+=("${ARG%%=*}" "${ARG#*=}") ;;
--* ) GOT_OPTS+=("$ARG") ;; --* ) GOT_OPTS+=("$ARG") ;;
-* ) GOT_OPTS+=("${ARG:0:2}") ;; -* ) GOT_OPTS+=("${ARG:0:2}") ;;