.. |
compile_all_full_versions.py
|
add edit file for central place of edit method. add methods to edit master file or full file
|
2021-09-17 09:53:18 +02:00 |
config.py
|
add method for making a new exercise sheet write up
|
2021-10-10 20:45:47 +02:00 |
countdown.py
|
move scheduler cycle delay into config file. reformat config file
|
2021-09-17 12:20:08 +02:00 |
courses.py
|
outline exercises class (new attribute of course)
|
2021-10-10 19:24:06 +02:00 |
exercises.py
|
add method for making a new exercise sheet write up
|
2021-10-10 20:45:47 +02:00 |
fallback.yaml
|
add fallback texinputs variable
|
2021-09-18 14:49:40 +02:00 |
file_list.py
|
add exercise write up class
|
2021-10-10 19:46:47 +02:00 |
init-all-courses.py
|
added file to initialize all courses
|
2020-08-01 00:24:42 +02:00 |
labels.py
|
add script to parse labels from aux files that can be called from within vim
|
2021-09-19 12:30:16 +02:00 |
lectures.py
|
rename edit file, add some comments
|
2021-10-01 19:08:36 +02:00 |
links.py
|
add open.py file to easily open course-related stuff
|
2021-09-17 13:07:20 +02:00 |
new-lecture.py
|
make file executable
|
2021-09-16 18:54:30 +02:00 |
notes.py
|
rename edit file, add some comments
|
2021-10-01 19:08:36 +02:00 |
open.py
|
add method to open a terminal in the current course
|
2021-09-18 14:43:18 +02:00 |
parse_counters.py
|
ignore lines not fitting the regex when parsing lines from .cnt file
|
2021-09-17 14:12:46 +02:00 |
rofi-courses.py
|
Initial commit
|
2019-09-15 20:42:11 +02:00 |
rofi-exercises.py
|
add method for making a new exercise sheet write up
|
2021-10-10 20:45:47 +02:00 |
rofi-lectures-view.py
|
rename script into notes
|
2021-09-16 18:02:36 +02:00 |
rofi-lectures.py
|
add shortcut keys for editing master and / or full file
|
2021-09-18 13:43:19 +02:00 |
rofi.py
|
rename edit file, add some comments
|
2021-10-01 19:08:36 +02:00 |
utils.py
|
add method for making a new exercise sheet write up
|
2021-10-10 20:45:47 +02:00 |
window_subprocess.py
|
add rofi opening script for exercises
|
2021-10-10 20:16:19 +02:00 |