refine the logic of from/to xtext
ignore push.sh