Ask Your Question
0

remap does not work with launch-prefix="gnome-terminal --command"

asked 2020-09-02 00:07:05 -0500

noob_ros gravatar image

Launching with

<node name="node_name" pkg="pkg_name" type="pkg_type" output="screen">
      <remap from="topic/general" to="topic/specific"/>
</node>

topic/general is mapped to topic/specific

but launching with

<node name="node_name" pkg="pkg_name" type="pkg_type" output="screen" launch-prefix="gnome-terminal --command">
          <remap from="topic/general" to="topic/specific"/>
</node>

No remapping is done. How do I retain remappings when launching in new terminal?

edit retag flag offensive close merge delete

Comments

1

Is it required for you to use gnome-terminal ? It seems to be working using xterm -e instead, or even terminator -x but I'm not able to explain why gnome-terminal doesn't work.

From the gnome-terminal manpage the option -x is :

Execute the remainder of the command line inside the terminal.

Which is really similar to the option -x of terminator (manpage ):

Runs the rest of the command line instead of your default shell or profile specified command.

The instead of your default shell or profile specified command part might explain why it doesn't work with gnome-terminal but I don't know any work-around for that.

Delb gravatar image Delb  ( 2020-09-02 05:18:40 -0500 )edit

I originally used gnome-terminal because I'm working on Ubuntu but terminator -x works fine. Thanks.

noob_ros gravatar image noob_ros  ( 2020-09-03 23:26:43 -0500 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2020-09-09 20:36:50 -0500

noob_ros gravatar image

I originally used gnome-terminal because I'm working on Ubuntu but terminator -x works fine. Thanks.

edit flag offensive delete link more

Comments

I don't have time to investigate right now, but remapping should work regardless of which terminal emulator is in use.

gvdhoorn gravatar image gvdhoorn  ( 2020-09-09 23:23:34 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

2 followers

Stats

Asked: 2020-09-02 00:07:05 -0500

Seen: 42 times

Last updated: Sep 09