Salome HOME
projects
/
tools
/
sat.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5ccc64b
)
sat package: add completion for option without_commercial
author
Serge Rehbinder
<serge.rehbinder@cea.fr>
Wed, 25 Jan 2017 14:43:57 +0000
(15:43 +0100)
committer
Serge Rehbinder
<serge.rehbinder@cea.fr>
Wed, 25 Jan 2017 14:43:57 +0000
(15:43 +0100)
complete_sat.sh
patch
|
blob
|
history
diff --git
a/complete_sat.sh
b/complete_sat.sh
index 00d37a6f61d257882fd72c6b630f9a3594fd587f..27b3f8af85c438d0b4fec764d0bef6ff34b328b1 100755
(executable)
--- a/
complete_sat.sh
+++ b/
complete_sat.sh
@@
-234,7
+234,7
@@
_salomeTools_complete()
return 0
;;
package)
- opts="--name --binaries --sources --project --salometools --with_vcs"
+ opts="--name --binaries --sources --project --salometools --with_vcs
--without_commercial
"
COMPREPLY=( $(compgen -W "${opts}" -- ${cur}) )
return 0
;;