personal tools and editors for devops stuff