From cb04d4cbd6a011e9a2379e1148d35fb6974828b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Leroy=20R=C3=BCgemer?= <lruegeme@techfak.uni-bielefeld.de>
Date: Thu, 7 Mar 2019 14:32:59 +0100
Subject: [PATCH] escape maven settings
catkin tools - melodic bug?
---
generate_environment_variables.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/generate_environment_variables.py b/generate_environment_variables.py
index e3a7620..dbe317e 100755
--- a/generate_environment_variables.py
+++ b/generate_environment_variables.py
@@ -142,6 +142,6 @@ if __name__ == '__main__':
home = os.path.join(workspaces[0], 'share', 'maven')
print(home)
elif args.create_maven_settings:
- print(MAVEN_HEADER + get_repositories_xml() + MAVEN_FOOTER)
+ print((MAVEN_HEADER + get_repositories_xml() + MAVEN_FOOTER).encode('string_escape'))
else:
print("Nothing to see here - please provide one of the valid command switches.")
--
GitLab