Please bring back ability to specify port # for glimpse atomspace viewer about external-tools HOT 4 CLOSED

The port number can be manually changed in index.js, but would be good to be able to do this via the startup command like before.

from external-tools.

Hey Eddie, we are adding a new version of the visualizer soon, called AtomSpaceExplorer, which is based off the Mozi_visualizer (which was based off glimpse). So we'll apply this issue to that one, and see if we can enable the port # feature.

from external-tools.

from external-tools.

@eddiemonroe , the AtomSpace Explorer is available now in external-tools (https://github.com/opencog/external-tools/tree/master/AtomSpaceExplorer). You can override the default port 4200 as follows (this is copy/paste of an update to the AtomSpace Explorer README.md that I'll commit in my next set of updates):

npm start # Start the app on the default AngularJS port 4200.

npm start -- --port=[port-number] # Start the app at [port-number].
npm start -- --port=8080 # Example with port number 8080.

Alternatively, you can permanently change the default port by inserting the following to angular-cli.json, at the top of the "defaults" block:
"defaults": { # Existing line.
"serve": { # <- Inserted line.
"port": 8080 # <- Inserted line. Example port 8080. Set port number as desired.
}, # <- Inserted line.
"styleExt": "css", # Existing line.

from external-tools.