public marks

PUBLIC MARKS from tadeufilippini with tags installing & "gnu linux"