Openki / Openki

We moved to GitLab 💔 Openki is a tool to build up and organize local communities – Open education for real.

http://gitlab.com/Openki/Openki

GNU Affero General Public License v3.0

141 stars 31 forks source link

enhance kiosk/timetable #351

Open 1u opened 8 years ago

1u commented 8 years ago

324

can we add multiple locations as ?location=Openki&location=SQ131&location=SQ131Garden?
grouping=loc or room or group (what if cours in in multiple groups?!?) think we leave this and allways do loc-grouping right? and sort room if some are indicated (how to mix this with not indicated ones?)
highlighting: active=Denki

sbalmer commented 8 years ago

The current filtering infrastructure does not allow specifying alternatives. All predicates must match.

We could add a filter that allows multiple locations, like ?locations=Openki,SQ131,SQ131Garden. Another option would be to filter by coordinates so that you could say ?near=lat,lon[,radius].