From f8b9e5c0dccd1563764426878ba0f2f982c3f310 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Mon, 12 Sep 2016 09:23:56 -0700
Subject: 3340

Rename files to be consistent with my (forgotten) convention of always
using underscores over hyphens.

I'll leave server-socket.mu alone for now, since Stephen's hacking on
it.
---
 real-files.mu | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 real-files.mu

(limited to 'real-files.mu')

diff --git a/real-files.mu b/real-files.mu
deleted file mode 100644
index 50137a0b..00000000
--- a/real-files.mu
+++ /dev/null
@@ -1,18 +0,0 @@
-# example program: read a character from one file and write it to another
-# BEWARE: this will modify your file system
-# before running it, put a character into /tmp/mu-x
-# after running it, check /tmp/mu-y
-
-def main [
-  local-scope
-  f:number/file <- $open-file-for-reading [/tmp/mu-x]
-  $print [file to read from: ], f, 10/newline
-  c:character, eof?:boolean <- $read-from-file f
-  $print [copying ], c, 10/newline
-  f <- $close-file f
-  $print [file after closing: ], f, 10/newline
-  f <- $open-file-for-writing [/tmp/mu-y]
-  $print [file to write to: ], f, 10/newline
-  $write-to-file f, c
-  f <- $close-file f
-]
-- 
cgit 1.4.1-2-gfad0