Skip to content

Instantly share code, notes, and snippets.

@nderjung
Last active March 11, 2019 16:44
Show Gist options
  • Save nderjung/a12ee5fb9ac9f982e5ef37403d03872e to your computer and use it in GitHub Desktop.
Save nderjung/a12ee5fb9ac9f982e5ef37403d03872e to your computer and use it in GitHub Desktop.
Remove underscores from pubs/pubs entries
#!/bin/bash
for old in `pubs list | grep -Po '\[\K[^]]*'`; do
new=`echo $old | sed -r 's/_//g'`
pubs rename $old $new
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment