Merge pull request #3744 from ethereum/useUsrBinEditor

Use /usr/bin/editor if exists.
2023-10-03 13:03:40 +00:00 · 2018-03-21 15:28:21 +00:00
parent cddb549d2c ea8d5f8afc
commit 8fd53c1c03
1 changed files with 2 additions and 0 deletions
@@ -265,6 +265,8 @@ int main(int argc, char *argv[])
 {
 	if (getenv("EDITOR"))
 		SyntaxTestTool::editor = getenv("EDITOR");
+	else if (fs::exists("/usr/bin/editor"))
+		SyntaxTestTool::editor = "/usr/bin/editor";

 	fs::path testPath;
 	bool formatted = true;