Salome HOME
projects
/
tools
/
sat.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
sat #18868 : complément pour pouvoir produite et utiliser des archives produites...
[tools/sat.git]
/
complete_sat.sh
diff --git
a/complete_sat.sh
b/complete_sat.sh
index b499b1e91321f4e292396c487d6493616c28810e..7470b1bbc7763b398767fea08c134409dd4a3b7f 100755
(executable)
--- a/
complete_sat.sh
+++ b/
complete_sat.sh
@@
-207,7
+207,7
@@
_salomeTools_complete()
return 0
;;
compile)
return 0
;;
compile)
- opts="--products --properties --with_fathers --with_children --clean_all --clean_make --install_flags --show --stop_first_fail --check --clean_build_after"
+ opts="--products --
force --
properties --with_fathers --with_children --clean_all --clean_make --install_flags --show --stop_first_fail --check --clean_build_after"
COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
return 0
;;
COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
return 0
;;
@@
-237,7
+237,7
@@
_salomeTools_complete()
return 0
;;
package)
return 0
;;
package)
- opts="--name --binaries --sources --project --salometools --force_creation --add_files --with_vcs --ftp --without_property"
+ opts="--name --binaries --sources --
exe --
project --salometools --force_creation --add_files --with_vcs --ftp --without_property"
COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
return 0
;;
COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
return 0
;;