miscellaneous stuff surrounding linux