diff options
author | Kartik Agaram <vc@akkartik.com> | 2020-01-01 17:04:37 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2020-01-01 17:04:37 -0800 |
commit | 2a4088119cf41175457414dfa59bd4064b8f0562 (patch) | |
tree | 64fe184e399f9870ebd481a90eec34d51e5dff68 /archive/2.vm/relayout | |
parent | 23fd294d85959c6b476bcdc35ed6ad508cc99b8f (diff) | |
download | mu-2a4088119cf41175457414dfa59bd4064b8f0562.tar.gz |
5852
Diffstat (limited to 'archive/2.vm/relayout')
-rwxr-xr-x | archive/2.vm/relayout | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/archive/2.vm/relayout b/archive/2.vm/relayout deleted file mode 100755 index 8ea48920..00000000 --- a/archive/2.vm/relayout +++ /dev/null @@ -1,65 +0,0 @@ -#!/bin/bash -# Helper to change the numerical prefixes across the repo, say if you want to -# create room between 023 and 024, and so on. -# -# Assumes there's only ever one file with any numeric prefix. If you move -# 003trace.test.cc you might need to do some manual patch-up. - -set -e - -if [[ $# -eq 0 && `git diff HEAD |wc -l` -gt 0 ]] -then - echo "Uncommitted changes" - exit -fi - -if [[ $# -gt 0 ]] # dry run -then - git() { - echo $* - } -fi - -# - -index=0 -ls [0-9]* |grep -v "trace.test" |sort -n | - while read file - do - while [[ $file != `printf "%03d" $index`* ]] - do - echo - index=$(($index+1)) - done - echo $file - index=$(($index+1)) - done > .layout - -vim -c "set nu" .layout - -# - -root() { - echo $1 |sed 's/^[0-9]*//' -} - -index=0 -cat .layout | - while read file - do - if [ ! -z $file ] - then - newfile=`printf "%03d" $index``root $file` - if [[ $newfile != $file ]] - then - echo git mv $file $newfile - git mv $file $newfile - fi - fi - index=$(($index+1)) - done - -rm .layout - -# Scenarios considered: -# Don't redo the layout if Vim exits with error. |