dotfiles

My personal dotfiles 💠️

README.md (551B)

      1 # Idris Syntax Support for Sublime Text 3
      2 
      3 ## Installation
      4 
      5 ```bash
      6 mkdir ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax
      7 cp ./idris.sublime-syntax  ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/
      8 cp ./Comments.tmPreferences  ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/
      9 ```
     10 Then switch syntax to `Idris`.
     11 
     12 ## Testing
     13 
     14 ```bash
     15 while fswatch -1 ./idris.sublime-syntax; do rsync -a ./idris.sublime-syntax ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/; done
     16 ```