##// END OF EJS Templates
History refactored and saved to json file...
History refactored and saved to json file - stopped using reading and writing history. history saved to json file and terminal readline data is populated from it - removed duplicate attributes of history manager being stored in shell - only kept db as a property (it was widely used) - more refactoring of history manager - stopped using InputList (errorprone semantics) for history and switched to regular lists - added test

File last commit:

r2661:595fc3b9
r3240:983c64e0
Show More
plugins.mk
21 lines | 241 B | text/x-makefile | MakefileLexer
%.plugin::
rm -rf dist/$(notdir $@)
rm -rf build dist && \
python setup.py py2app -s
%.py:
@echo "test -f $@"
@test -f %@
%.nib:
@echo "test -f $@"
@test -f %@
.DEFAULT_GOAL := all
.PHONY : all clean
clean :
rm -rf build dist