diff --git a/Makefile b/Makefile new file mode 100644 index 00000000000..f2b7eb174f3 --- /dev/null +++ b/Makefile @@ -0,0 +1,11 @@ +move-tmp-to-kt: + rename -f s/.kt.tmp/.kt/ `find "testData" -name "*.kt.tmp"` + +remove-tmp: + rm `find "testData" -name "*.kt.tmp"` + +disable-sandbox: + cd ~/.IdeaIC11/system/ && mv plugins-sandbox plugins-sandbox.tmp + +enable-sandbox: + cd ~/.IdeaIC11/system/ && mv plugins-sandbox.tmp ./plugins-sandbox \ No newline at end of file diff --git a/remove.sh b/remove.sh deleted file mode 100755 index 2b067d09bc6..00000000000 --- a/remove.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -rm `find "testData" -name "*.kt.tmp"` diff --git a/rename.sh b/rename.sh deleted file mode 100755 index e131fdc40c6..00000000000 --- a/rename.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -rename -f s/.kt.tmp/.kt/ `find "testData" -name "*.kt.tmp"`