Open text editor from terminal macos July 8, 2019 16 32 64 128 How to open tex file Vs code text formatting
