diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-08-31 20:43:41 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-08-31 20:43:41 -0700 |
commit | e97b446ac3023d39d190911074850e686aa5f3aa (patch) | |
tree | 6d32495cf8c6179de27d334dcc3710b2fc0ea283 /relayout | |
parent | a21fb73d0421960a8a0b746827455b650346978b (diff) | |
download | mu-e97b446ac3023d39d190911074850e686aa5f3aa.tar.gz |
5594 - rename 'desugar' to 'sigils'
There's going to be multiple forms of syntax sugar going forward.
Diffstat (limited to 'relayout')
-rwxr-xr-x | relayout | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/relayout b/relayout deleted file mode 100755 index a15c8e9c..00000000 --- a/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]*.{cc,subx} |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. |