[GitHub] [tvm] ganler commented on pull request #12197: [UX] highlight tvm script

[GitBox]

ganler commented on PR #12197:
URL: https://github.com/apache/tvm/pull/12197#issuecomment-1197481985

   Some updates:
   
   **Fallback as plain text and warn** thanks to @yidawang and @areusch 
   
   If Pygments is not installed, we print plain text and post a warning:
   
   <img width="1014" alt="image" 
src="https://user-images.githubusercontent.com/38074777/181385896-e0250db1-0304-40ce-87b3-1160242ef8df.png";>
   
   **ANSI colors for terminal users** thanks to @tkonolige 
   
   If the environment is not notebook (i.e., terminal or something), we use a 
style filled with ansi colors (the colors are tuned to close to the default 
theme of notebook).
   
   Dark (iterm2):
   
   <img width="1265" alt="Screen Shot 2022-07-27 at 6 21 31 PM" 
src="https://user-images.githubusercontent.com/38074777/181389041-fbb24197-cd38-458c-ae7e-576e870d3609.png";>
   
   Light (macOS terminal):
   
   <img width="1124" alt="Screen Shot 2022-07-27 at 6 21 59 PM" 
src="https://user-images.githubusercontent.com/38074777/181389099-61eaff67-37ec-46d4-b216-51d023a9a5b5.png";>
   
   
   
   
   


-- 
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-unsubscr...@tvm.apache.org

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