Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- {
- "cmd": ["javac", "-cp", ":bin/*", "-d", "bin", "${file_name}"],
- "file_regex": "^(...*?):([0-9]*):?([0-9]*)",
- "working_dir": "${file_path}",
- "selector": "source.java",
- "variants":
- [
- {
- "name": "Run",
- "working_dir": "${file_path}/bin",
- "cmd": ["gnome-terminal", "-e", "bash -c 'java -cp :* ${file_base_name}; echo java -cp :* ${file_base_name} >> ~/.bash_history; exec bash'"]
- }
- ]
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement