Nicolas Alt
Nicolas Alt
Would be quite useful. For instance: In cold environments, the battery runs empty more quickly. or the device shuts down temporarily, restarting with default settings
Has there been any progress on this? Would DTD or XSD be better?
I created an XSD (and also DTD) and put it on https://gist.github.com/nalt/dfa2abc9d2e3ae4feb82ca5608090387 for now. Code completion, syntax highlighting and validation work well, except for the cases mentioned there. Please feel...
About @mikepurvis points: - Nesting groups is not mentioned in the Wiki, but I have also often seen it. - The wiki never mentions True/False with a capital letter. Shouldn't...
I updated the XSD. It addresses all issues mentioned by @mikepurvis, except for True/False. The allowable commands in `$(` are also checked.
For me, it does not even add the install space: ``` $ . devel/setup.bash $ echo $ROS_PACKAGE_PATH /opt/ros/melodic/share ``` While in the install space: ``` $ . install/setup.bash $ echo...
Where does this regex come from? Is there a way to disable this warning by configuration?
This happens on 18.04, which is going to stick around for a while. Nothing that can be done at runtime? We use your PPA, I really want to avoid to...
Would still be very helpful instead of setting up things twice...
For me, the freezes got much worse when the notifications where moved to the menu of the desktop icon. Before, it happened only when the notifications where shown. So I...