https://github.com/mhucka/vireo

Vireo (VIewer for REfreshed Output) is a system for displaying dynamically-generated files (particularly PDF files) in a browser window. An example use case is viewing LaTeX output produced automatically whenever changes are committed to a git repository.
https://github.com/mhucka/vireo

Last synced: over 1 year ago
JSON representation

Vireo (VIewer for REfreshed Output) is a system for displaying dynamically-generated files (particularly PDF files) in a browser window. An example use case is viewing LaTeX output produced automatically whenever changes are committed to a git repository.

• Host: GitHub
• URL: https://github.com/mhucka/vireo
• Owner: mhucka
• Created: 2014-12-06T18:57:20.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2015-06-12T14:26:30.000Z (about 11 years ago)
• Last Synced: 2024-10-16T05:50:06.292Z (almost 2 years ago)
• Language: Python
• Homepage:
• Size: 262 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## If you want to edit LaTeX files directly on GitHub in your browser

Click on the file name in the list above.  GitHub will present an editing interface.  Look near the top of the file for the pencil icon,

![github-edit-buttons](https://github.com/mhucka/vireo/raw/master/.readme/github-edit-buttons.png)

and click on it.  Before going further, you will want to change the editor settings.  Look again in the same upper right hand area for the new set of buttons:

![github-edit-buttons](https://github.com/mhucka/vireo/raw/master/.readme/github-nowrap.png)

Do 3 things: (1) click the "nowrap" button and select "Soft wrap" from the pop-up menu, (2) click the "spaces" button and select "Tabs" from the menu, and finally, (3) click the "2" and change the indent size to "8".

![github-edit-buttons](https://github.com/mhucka/vireo/raw/master/.readme/github-soft-wrap.png)

(Sorry, there's no way to set defaults for GitHub's editor.)

## If you want to edit in a desktop editor

You will need to git clone the repository, push your changes back to the repository, regularly check for updates to the repository and git pull updates when needed.  If this is unfamiliar, you may want to download one of the following desktop git clients, which provide nice GUI interfaces for these tasks and monitor the repository for remote changes.

* [Windows GitHub client](https://windows.github.com)

* [Mac GitHub  client](https://mac.github.com)

* Linux users may want to look at the 3rd-party git clients [listed here](http://git-scm.com/download/gui/linux)

To learn how to use git, here are two good resources: 

* [https://try.github.io](https://try.github.io)

* [http://git-scm.com](http://git-scm.com)