• François Bobot's avatar
    why3session info : add --edited-files option which · 890ca844
    François Bobot authored
    print all the edited files which appear in the session.
    
    In conjonction with --print0 which prints '\000' instead of '\n' that
    give a safe way to "git add" all the edited files of a session:
    
    why3session info --edited-files --print0 vstte12_bfs.mlw |xargs -0 git add
    
    Since why3session accept the why3session.xml (it uses the basename as
     session directory) you can add all the edited file of all the session
    saved in a git repository with:
    
    git ls-files -z |grep -z -e "why3session.xml$" |xargs -0 why3session info --edited-files --print0 | xargs -0 git add
    890ca844
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...