Xavier Fernández i Marín

Indentation not working properly with the new built-in pipe "|>"

6

While using the magrittr pipe ("%>") automatically produces an extra space in the next line, this is not the case with the new built-in pipe. Would it possible to have...

Not working with Awesome 4.0

8

Hello, It seems that the widget does not work with Awesome 4.0. It does not even allow me to load the widget with the require function. Is it possible to...

Cursor shape in high resolution display

7

The cursor shape apparently does not change depending on the font used in finalterm, or the font of the gtk-3 theme. In a high resolution display it is huge: ...

Question: what is the format in which ti stores time?

4

I am asking because sometimes I need to edit by hand the file because I have forgotten to start or stop 'ti'. But it turns out that the time stored...

The "interrupt" option is nice if you know that when you interrupt your task you are going to work on it later on, but sometimes this is not the case,...