A collection of more or less useful scripts (for Linux).
Find a file
2020-04-14 06:18:22 +00:00
mediathek-download Added License file to mediathek-download script 2018-03-14 18:36:37 +01:00
quick-deploy Added graphic to README 2020-04-14 06:18:22 +00:00
rlatexmk Added initial version of rlatexmk 2019-02-08 15:40:52 +01:00
README.md Large cleanup 2020-03-25 11:26:14 +01:00

Scripts

A collection of all my scripts - written in different languages.

You can find further instructions in the corresponding README.

Contributing

  1. Fork it
  2. Create a feature branch with a meaningful name (git checkout -b my-new-feature)
  3. Add yourself to the CONTRIBUTORS file
  4. Commit your changes (git commit -am 'Add some feature')
  5. Push to your branch (git push origin my-new-feature)
  6. Create a new pull request