I hereby claim:
- I am kevsmith on github.
- I am kevasmith (https://keybase.io/kevasmith) on keybase.
- I have a public key ASCj7W5E2GFAVvvNab7gG3oyNzgr0CnvQQChGeCIXCX0xAo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
#!/bin/bash | |
# Put all kernel audit messages in a log file we can search with ausearch | |
cat /var/log/messages | grep -o -E "audit: .*" | sed -e 's/audit: //g' > /tmp/kernel_audit.log | |
# Grab all failing audit entries | |
entries=$(cat /tmp/kernel_audit.log | grep "success=no" | grep -E "(datadog-agent|beam)" | \ | |
grep -o -E "audit\([0-9]+\.[0-9]+:[0-9]+\)" | cut -d: -f2 | grep -o -E "[0-9]+") | |
# Display human-friendly version of each entry |
# Get an API token here: https://id.atlassian.com/profile | |
# go-jira will prompt for it once and then store it | |
# in OS X's Keyring | |
endpoint: https://adroll.atlassian.net | |
user: first_name.last_name | |
login: [email protected] | |
authentication-method: api-token | |
project: RTI | |
password-source: keyring |
Progress, Precision and Profit
[...removed Tesla-specific commentary...]
Btw, here are a few productivity recommendations:
Excessive meetings are the blight of big companies and almost always get worse over time. Please get rid of all large meetings, unless you’re certain they are providing value to the whole audience, in which case keep them very short.
Also get rid of frequent meetings, unless you are dealing with an extremely urgent matter. Meeting frequency should drop rapidly once the urgent matter is resolved.
#!/bin/sh | |
# Valid branch types: remote, local, merged | |
local_branch_opt="-a" | |
remote_branch_opt="-r" | |
merged_branch_opt="-a --merged master" |
#!/bin/sh | |
set -e | |
delete_branch() { | |
git branch -d "$1" | |
} | |
usage() { | |
echo "git purge [-d|--delete] [-e|--regex <regular_expression>]" |
#!/usr/bin/env ruby | |
# For reference see https://github.com/cogcmd/pagerduty/blob/master/lib/cog_cmd/pagerduty/oncall.rb#L29 | |
# Some test users | |
users = [{id: 1, | |
name: "Bob", | |
email: "[email protected]", | |
policy_ids: [1,2]}, | |
{id: 2, |
#!/bin/bash | |
# Uses cogctl built from a release | |
# Keeps .cogctl from stomping on the | |
# file stored in $HOME | |
scriptdir=$(dirname ${0}) | |
configdir=$(cd ${scriptdir}/.. && pwd) | |
real_cogctl=${scriptdir}/cogctl2 |
Command Line Interface (CLI) is the most popular and basic user interface to interact with computers. Despite its simplicity, it has some limitations in terms of user experience. For example, sometimes it is hard to understand and interpret the textual output of the command. In this paper we describe the limitations of command line interfaces and propose Gracoli1: A graphical command line interface that takes advantage of both text-based interface and graphical user interface to provide better user experience and perform complex tasks. We demonstrate some of the useful applications and features of Gracoli. Sometime such a hybrid system provides and combines the strengths of CLI and GUI to perform specific tasks. We explore some useful applications of Gracoli to create a new kind of user experience. Command line interface makes accessibility faster and Graphical User-Interface makes output more interactive and understandable.
#!/bin/sh | |
set -e | |
delete_branch() { | |
git branch -d "$1" | |
} | |
usage() { | |
echo "git purge [-d|--delete] [-e|--regex <regular_expression>]" |