I have not found how to changing permanently the number of lines (example to 40) to gnome-terminal .... Some suggest? Thanks. ------- Dario Lesca (d.lesca@ivrea.osra.it) -- Psyche-list mailing list Psyche-list@redhat.com https://listman.redhat.com/mailman/listinfo/psyche-list
