ROS Resources: Documentation | Support | Discussion Forum | Index | Service Status | ros @ Robotics Stack Exchange
Ask Your Question
0

Problem when setting Window Terminal for ROS on Window

asked 2020-02-26 09:57:06 -0500

drtritm gravatar image

updated 2020-02-26 10:39:36 -0500

gvdhoorn gravatar image

Hi everyone, I got a problem when trying to set up window terminal for ROS on Window. I follow the instruction on http://wiki.ros.org/Installation/Windows , on the step 6.1. Here is my profiles.json.I'm using ROS Melodic on Window 10 version 1903 build 18362.418. When I tried roscore, this displayed

roscore : The term 'roscore' is not reconized as the name of a cmdlet function, script file, or operable program.

{
    "$schema": "https://aka.ms/terminal-profiles-schema",

    "defaultProfile": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",

    "profiles":
    {


        "defaults":
        {
            "acrylicOpacity" : 0.5,
            "background" : "#012456",
            "closeOnExit" : true,
            "colorScheme" : "Campbell",
            "commandline" : "C:\\Windows\\System32\\cmd.exe /k \"C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Community\\Common7\\Tools\\VsDevCmd.bat\" -arch=amd64 -host_arch=amd64 && set ChocolateyInstall=c:\\opt\\chocolatey&& c:\\opt\\ros\\melodic\\x64\\setup.bat",
            "cursorColor" : "#FFFFFF",
            "cursorShape" : "bar",
            "fontFace" : "Consolas",
            "fontSize" : 10,
            "guid" : "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
            "historySize" : 9001,
            "icon" : "ms-appx:///ProfileIcons/{0caa0dad-35be-5f56-a8ff-afceeeaa6101}.png",
            "name" : "ROS",
            "padding" : "0, 0, 0, 0",
            "snapOnInput" : true,
            "startingDirectory" : "c:\\ws",
            "useAcrylic" : true
        },


        "list":
        [
            {
                // Make changes here to the powershell.exe profile
                "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
                "name": "Windows PowerShell",
                "commandline": "powershell.exe",
                "hidden": false
            },
            {
                // Make changes here to the cmd.exe profile
                "guid": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}",
                "name": "cmd",
                "commandline": "cmd.exe",
                "hidden": false
            },
            {
                "guid": "{b453ae62-4e3d-5e58-b989-0a998ec441b8}",
                "hidden": false,
                "name": "Azure Cloud Shell",
                "source": "Windows.Terminal.Azure"
            }       
         ]   

    },

    // Add custom color schemes to this array
    "schemes": [],

    // Add any keybinding overrides to this array.
    // To unbind a default keybinding, set the command to "unbound"
    "keybindings": []
}
edit retag flag offensive close merge delete

Comments

@drtritm, Can you change the following part to using cmd.exe? I am suspecting the activated environment from setup.bat doesn't get passed to the PowerShell.

        {
            // Make changes here to the cmd.exe profile
            "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}",
            "name": "cmd",
            "commandline": "cmd.exe",
            "hidden": false
        },
Sean Yen gravatar image Sean Yen  ( 2020-02-26 12:38:06 -0500 )edit

The original of guid in defaults section is "guid" : "{xxxx}", and then the instruction said: Customize the placeholder {xxxx} in the "guid" entry with a guid generator. Thus I choose PowerShell, even cmd, still not work. Did you mean changing the guild of the part you mentioned with the "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}"

drtritm gravatar image drtritm  ( 2020-02-26 13:03:08 -0500 )edit
1

@drtritm, ah, it seems to me you are using default setting feature. However I think what you are looking for is just to define a new profile. Can you move the ROS related settings into an new entry under lists (and giving it a unique GUID)?

Sean Yen gravatar image Sean Yen  ( 2020-02-26 13:38:48 -0500 )edit

How can I give it a unique GUID? Did I just random?

drtritm gravatar image drtritm  ( 2020-02-26 13:44:29 -0500 )edit

It's worked, I randomly change a character, thanks so much.You made my day

drtritm gravatar image drtritm  ( 2020-02-26 13:48:03 -0500 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2020-03-06 11:04:19 -0500

OoeyGUI gravatar image

Sorry for the unclear documentation - I'll update the documentation to suggest methods to create a guid for this.

edit flag offensive delete link more

Question Tools

2 followers

Stats

Asked: 2020-02-26 09:57:06 -0500

Seen: 602 times

Last updated: Mar 06 '20