summary

Handy bash commands