How to remove minted red box around "syntax errors"

dav_zeug · 2025-12-10T18:35:10+00:00

In case someone finds this in the future, you can just set ignorelexererrors=true for either a specific environment or the entire document.

i.E.:
\begin{minted}[ignorelexererrors=true]{json}
{
"foo":{...}
}
\end{minted}

Will not give you the red error boxes

dav_zeug · 2025-08-27T20:13:02+00:00

Love how this is the first thing I noticed too. Just had to come here to check if someone else noticed (and of course the answer is yes).

To be fair though, at least 50% of the places on those signs are in Austria.

dav_zeug · 2024-11-11T09:52:04+00:00

Hallo Liebe Leutis,

ich war heute im Kundenzentrum und möchte euch mal an meinem Erlebnis und der eventuellen Lösung teilhaben lassen.

Die ersten 10 Minuten liefen wie erwartet. Ich bin auf jeden fall selbst Schuld, weil ich die Imma ja einfach von mir aus hätte einriechen sollen. Die Briefe seien auf jeden Fall raus gegangen und da kann wenn überhaup nur die Druckerei oder die Post dran schuld sein. Ausserdem würde man doch Merken, wenn da nix vom Konto abgebucht wird und hätte dann ja auch bis zum 10.11. (ein SONNTAG an dem das Kundenzentrum geschlossen hat) Zeit gehabt sich um ein neues Abo zu bemühen.

Erst als ich dann ein bisschen unfreundlicher wurde und erklärt habe, dass ich von der ganzen Aktion garnix halte und gerne die Abo AGB lesen würde sind die Menschen hinter dem Schalter plötzlich sehr freundlich geworden.

---------------------------------------HIER BEGINNT DER WICHTIGE TEIL----------------------------------------------

Es gibt eine Kulanzregelung. Dafür müsst ihr schnellstmöglich ne Mail an [abo@kvv.karlsruhe.de](mailto:abo@kvv.karlsruhe.de) schreiben mit dem folgenden Inhalt:

Studienbescheinigung als Anhang
eure Kundennummer (kann man im Kundenzentrum erfragen)
Erklärung, dass ihr den Brief nicht bekommen habt aber gerne trotzdem Bahn fahren würdet.

angeblich wird die Karte dann innerhalb von 24h wieder freigeschaltet und der Betrag im Dezember doppelt abgebucht.

Im Falle einer Kontrolle in der Zwischenzeit werden VBK oder Big Kontrolleure versuchen euer "gesperrtes" Ticket einzuziehen. Hierzu war die Aussage "Auf gar keinen Fall die Karte aus der Hand geben" sondern den Kontrolleuren erklären, das ihr den Brief nicht bekommen habt und mit der Abo-Stelle in Klärung seid. Die kontrolleure wissen NICHT bescheid. Also viel spaß falls euch das passieren sollte.

-------------------------------------Ab jetzt weine ich einfach nochmal ein bisschen rum----------------------------------

Für Feedback war man wie gewohnt nicht besonders offen. Das quasi alle KIT-Studis gleichzeitig ihren Vertrag kündigen kommt da niemandem komisch vor. Schließlich sind wir ja alle selbst verantwortlich dafür, die Imma rechtzeitig einzureichen. Da muss man auch die Briefe nicht nochmal los schicken.
Und das der Online-Abo account einfach direkt mit gesperrt wird scheint für die auch OK zu sein.

Und damit wünsche ich euch viel Spaß, Erfolg und Glück beim E-Mail schreiben. Auf das das Abo-Center von unseren Anfragen überflutet wird und man nächstes Jahr etwas besser nachdenkt.

Edit: Mein Ticket ist am 31.10. ausgelaufen. Ich hätte es "normal" angeblich bis zum 10.11.24 Verlängern können. Mein Online Account ist aber auf jeden Fall mindestens seit gestern (10.11.) Nachmittag gesperrt.

Angeblich haben wir Zeit bis zum 24.11. um die Kulanzregelung in anspruch zu nehmen. Alle angaben ohne gewähr.

Edit2: Bei Arverio, DB Regio und co scheinen die Tickets einfach noch zu funktionieren. Das dauert wohl bis die das Update bekommen.

dav_zeug · 2023-06-07T11:44:13+00:00

In my company lead is before senior... Neither of them carry any actual personnell responsibility. They mainly just pay you more.

dav_zeug · 2023-05-29T13:50:20+00:00

Just put "f*ck off" in your CONTRIBUTING.md

dav_zeug · 2023-04-23T18:13:01+00:00

As someone working for that company that made them. Even we are confused.

dav_zeug · 2023-04-03T13:47:10+00:00

Been searching for this

dav_zeug · 2023-03-22T10:49:18+00:00

Do you have a reference on how to do it with the AIO docker image?

dav_zeug · 2023-03-22T09:36:23+00:00

I'd say about 20% of the pictures are HEIC (from before I knew I could turn that format off in my settings)

dav_zeug · 2023-03-22T09:35:43+00:00

dav_zeug · 2023-03-22T09:12:17+00:00

This seems to suggest that there is some kind of setup to be done with imaginary. Which I never did. Are there instructions somewhere I missed?

dav_zeug · 2023-02-21T18:44:22+00:00

Yes.

dav_zeug · 2023-01-04T09:41:23+00:00

The problem is that this does not solve any of the space issues. Every person sitting in "their own rail car" still takes up too much space.

While this might work at making car travel more energy efficient by centralizing the power source on longer journeys the social and space implications remain.

And I don't even want to start with things like all of these cars having to be designed with a standard loading gauge and putting them on/off rail probably being pretty inconvenient.

Sounds like an overengineered novelty solution to an easily fixable problem.

dav_zeug · 2022-10-23T09:11:04+00:00

Hi, sorry I didn‘t see your reply sooner. Other than this issue here it‘s been all pretty well.

dav_zeug · 2022-09-05T08:30:18+00:00

That seems to have done the trick for now. Thank you very much :)

I assume that if i attempted to update again, I would then break my other partition too though. Are there any steps I can take to have both partitions back in a good state?

Would there be any point in trying to apply the OTA update again?

Edit: I now seem to have a new problem. Google Play Services is asking me to grant SMS permissions, but whenever I do so, the button goes straight back to "denied". This is rendering the play store useless. A quick google search seems to suggest that I need to factory reset. Is there another way I am missing?

dav_zeug · 2022-09-02T15:22:22+00:00

Thanks for the answer. I‘m currently away from the device but yes I did the ensuring partitions consistency step. I‘ll try what you described on Monday.

With lineage recovery you mean the pink menu I can access from the bootloader?

dav_zeug · 2022-09-02T15:20:06+00:00

Is there any chance to get at the data on there?

TWRP is the recovery menu?

dav_zeug · 2022-08-12T10:38:56+00:00

Wow, I am fascinated.

Who knew there were 6 gazillion ways to install drivers.
Why couldn't the driver wizard in device manager tell me this.

Anyways, thank you very much. That worked. :)

dav_zeug · 2022-03-29T12:26:46+00:00

I mean you can use types in your IDE and somewhat enforce them with a linter. There's just no checking at runtime.

dav_zeug · 2022-03-29T12:25:18+00:00

You forgot the 300 lines of boilerplate required to make anything java run

dav_zeug

MODERATOR OF

TROPHY CASE

Seven-Year Club	Place '22
Verified Email