1,335 reputation
721
bio website
location
age
visits member for 3 years
seen 3 hours ago

Jul
22
revised Thunderbird: new email notification not working properly
deleted 85 characters in body
Jul
22
comment Thunderbird: new email notification not working properly
@user1968963 You have found a bug in Thunderbird, so beware Thunderbird is more in maintenance mode nowadays, so don't expect it to be fixed soon. I answered with this alternative because you said notifications are crucial to your workflow. If that's really the case, I don't see the problem of installing one addon, but that's up to you.
Jul
21
revised Thunderbird: new email notification not working properly
deleted 97 characters in body
Jul
21
answered Thunderbird: deleted emails are still in local IMAP folder
Jul
21
revised Thunderbird: new email notification not working properly
added 948 characters in body
Jul
21
answered Thunderbird: new email notification not working properly
Jul
21
awarded  Enthusiast
Jul
16
comment Why I cannot disconnect internet
See in the connection settings if it is not configured to connect automatically.
Jul
14
comment Convert json numbers to strings in the shell
This is really great! I have also found that the janson lib used by jshon has problems parsing long integers, so I replaced parse_float=str with parse_int=str, parse_float=str. That's a lot of problems with janson, maybe I should have jq a better look!
Jul
14
accepted Convert json numbers to strings in the shell
Jul
14
comment Convert json numbers to strings in the shell
@mikeserv node.js requires me to learn Javascript. I would still be safer using sed, since I only know bash :P
Jul
14
comment Convert json numbers to strings in the shell
@mikeserv I'm going to study it.
Jul
14
comment Convert json numbers to strings in the shell
@mikeserv Thanks, but I don't understand! Here are two numbers that give undesired results in their Try online!: {"a":200.12345678999999, "b":0.00001875}
Jul
14
comment Convert json numbers to strings in the shell
@mikeserv I have tried their Try online! and, unfortunately, it converts the numbers to scientific notation and also rounds large numbers.
Jul
14
comment Convert json numbers to strings in the shell
@Braiam that was specified in the question.
Jul
14
asked Convert json numbers to strings in the shell
Jul
9
comment Priority for “always on top” X windows
@Anthon I can only figure how to detect if the windows is focused, and it will not be focused most of the time.
Jul
9
comment Priority for “always on top” X windows
@Anthon it works, but then the focus is constantly stolen from the current window.
Jul
8
comment Priority for “always on top” X windows
@Anthon I have tried it again, and stjerm's (a dropdown term) toggle key stops working until I give any window the focus manually.
Jul
8
comment Priority for “always on top” X windows
@Anthon the other day I wrote a script with wmctrl that would raise the window every N seconds, and from what I can remember, there was some problem like the focus being stolen from text editors, or something like that. I'll try it again.