• Finland
  • Joined on 2022年08月18日
drjaska pushed to main at hacklabjkl/hacklabjkl-timber 2025年10月26日 17:05:01 +01:00
459f8029a3
 Update hardcoded calendar in site theme
drjaska pushed to main at hacklabjkl/hacklabjkl-timber 2024年12月20日 21:19:11 +01:00
8749ef7fe6 visitorwidget relocation
drjaska created pull request hacklabjkl/hacklabjkl-timber#15 2024年08月06日 19:04:12 +02:00
Fix 3d-print-post.sh for production use
drjaska pushed to main at drjaska/hacklabjkl-timber 2024年08月06日 19:02:58 +02:00
32f7eb5d89 Fix 3d-print-post.sh for production use
f26f11f771 Add documentation.
58c958c1da Show last published print on home dynamically
b3b955080f json typo
0554bd0e12 Add launch.json example for debugging
Compare 5 commits »
drjaska created pull request hacklabjkl/hacklabjkl-timber#14 2024年08月03日 20:21:07 +02:00
Script cleanup, fix many cases of string splitting
drjaska pushed to main at drjaska/hacklabjkl-timber 2024年08月03日 20:19:46 +02:00
d98c0613db Script cleanup, fix many cases of string splitting
drjaska created repository drjaska/hacklabjkl-timber 2024年08月03日 20:18:13 +02:00
drjaska commented on issue xmobar/xmobar#682 2024年03月23日 02:37:42 +01:00
Wrongly converted hexadecimal color codes in ANSI output

I don't mind either way, I feel that you can judge that better. I don't know what level of quality you're looking for and how much you care that there is undefined behavior(?) which leads to...

drjaska commented on issue xmobar/xmobar#682 2024年03月23日 01:05:23 +01:00
Wrongly converted hexadecimal color codes in ANSI output

Oh, yes, it should be with a #. With it xmobar works as expected.

But I'm still baffled by what format it tried to output when asked to output in ANSI and when given "FFA500" as the color.

drjaska opened issue xmobar/xmobar#682 2023年09月24日 03:48:17 +02:00
Wrongly converted hexadecimal color codes in ANSI output
drjaska opened issue xmobar/xmobar#666 2023年01月17日 07:43:00 +01:00
stack build plan construction fails due to 4 unspecified package versions