You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@baremaps.apache.org by "bchapuis (via GitHub)" <gi...@apache.org> on 2023/06/18 20:44:41 UTC

[GitHub] [incubator-baremaps] bchapuis commented on pull request #704: New cli command to edit styles locally

bchapuis commented on PR #704:
URL: https://github.com/apache/incubator-baremaps/pull/704#issuecomment-1596260041

   @leonardcser This looks great!
   
   I wonder if we could handle this case with the dev command. For instance, `baremaps map dev --style 'style.js'` would execute this behavior and `baremaps map style --style 'style.js' --tileset 'tileset.js'` would execute the normal behavior. What do you think?
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@baremaps.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org