--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on August 2017 ---
Hello, Le 2017-08-11 à 22:19, Mehdi Dogguy a écrit : >> - Bash and Zsh completion for Frama-C options > Can you please clarify where are the completion scripts? I didn't find them > in the tarball, but maybe I was looking at the wrong place. You have -autocomplete option that gives following kind of output: """ Name: NO NAME Name: -kernel-config Name: -kernel-session Name: -kernel-share Name: -no-obj Name: -no-type Analysis Options Name: -absolute-valid-range Name: -const-readonly Name: -const-writable [...] """ Though I don't know how it should be used. Best regards, david