From e97b446ac3023d39d190911074850e686aa5f3aa Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Sat, 31 Aug 2019 20:43:41 -0700
Subject: 5594 - rename 'desugar' to 'sigils'

There's going to be multiple forms of syntax sugar going forward.
---
 relayout | 65 ----------------------------------------------------------------
 1 file changed, 65 deletions(-)
 delete mode 100755 relayout

(limited to 'relayout')

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.
-- 
cgit 1.4.1-2-gfad0