1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
|
From: Jochen Sprickerhof <git@jochen.sprickerhof.de>
Date: Sat, 28 Jan 2017 17:07:08 +0100
Subject: Set default ROS_DISTRO to debian
---
src/catkin_pkg/cli/create_pkg.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/catkin_pkg/cli/create_pkg.py b/src/catkin_pkg/cli/create_pkg.py
index 2ef3944..8945af8 100644
--- a/src/catkin_pkg/cli/create_pkg.py
+++ b/src/catkin_pkg/cli/create_pkg.py
@@ -42,7 +42,7 @@ def main(argv=sys.argv[1:], parent_path=os.getcwd()):
parser.add_argument('-m', '--maintainer',
action='append',
help='A single maintainer, may be used multiple times')
- rosdistro_name = os.environ['ROS_DISTRO'] if 'ROS_DISTRO' in os.environ else None
+ rosdistro_name = os.environ['ROS_DISTRO'] if 'ROS_DISTRO' in os.environ else 'debian'
parser.add_argument('--rosdistro', required=rosdistro_name is None, default=rosdistro_name, help='The ROS distro (default: environment variable ROS_DISTRO if defined)')
args = parser.parse_args(argv)
|