Ask Your Question
0

Open launch files with gedit using HTML default

asked 2017-10-16 04:43:05 -0600

Thadeu Brito gravatar image

Hello,

When I open a file with extension .launch using the gedit, the file open without Plain Text. After I choose the option HTML in Plain Text Menu, I closed the file and openned again, the file start with HTML format. My question is: Is there a way to make default HTML for the entire .launch extension?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
3

answered 2017-10-16 04:50:31 -0600

gvdhoorn gravatar image

This is more a Linux/platform configuration issue than a ROS issue. Could you please post this sort of question on a more appropriate forum in the future?

I'm not sure it's the best way (or even the recommended way), but it would appear that configuring a default highlighter for specific file types is possible using a 'language definition file'.

See an I set a default syntax highlighting in Gedit? on Ask Ubuntu.

After I choose the option HTML in Plain Text Menu

Know that .launch files are XML, not HTML. If Gedit has a highlighter for that, I would use the XML highlighter.

edit flag offensive delete link more

Comments

Thank you! I understand about that post being a question of other platform. When I did this post, I thought someone users ROS known about it. In the future, I dont will this mistake!.

Thadeu Brito gravatar imageThadeu Brito ( 2017-10-17 05:34:27 -0600 )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

1 follower

Stats

Asked: 2017-10-16 04:43:05 -0600

Seen: 248 times

Last updated: Oct 16 '17