普通的往命令行加控制的方法比较简单,比如输出带颜色字体:
print("\e[31mRED\e[0m")
但现在有个需求不会弄,就是获取当前 Terminal 窗口每行的像素数以及可以输出的字符数。因为terminal本身可以用鼠标缩放,放大后,每行能容纳的字符量就少了,边框拉伸后,能容纳的像素数也会变化,请问Julia下能什么函数可以获取到这些信息吗?感谢!
普通的往命令行加控制的方法比较简单,比如输出带颜色字体:
print("\e[31mRED\e[0m")
但现在有个需求不会弄,就是获取当前 Terminal 窗口每行的像素数以及可以输出的字符数。因为terminal本身可以用鼠标缩放,放大后,每行能容纳的字符量就少了,边框拉伸后,能容纳的像素数也会变化,请问Julia下能什么函数可以获取到这些信息吗?感谢!
displaysize(stdout)
折腾 Terminal 建议找点现成的包,然后配个好点的终端。