From 5ff9d1c592511270abe871915aa0716cec1e6eac Mon Sep 17 00:00:00 2001
From: Case Duckworth
Date: Fri, 22 May 2020 15:55:03 -0500
Subject: Remove unneeded stuff

---
 page | 48 ------------------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100755 page

(limited to 'page')

diff --git a/page b/page
deleted file mode 100755
index c478d7a..0000000
--- a/page
+++ /dev/null
@@ -1,48 +0,0 @@
-#!/bin/bash
-# pager
-
-. ./wrap
-
-cleanup() {
-	tput reset
-	exit
-}
-
-refresh() {
-	shopt -s checkwinsize
-	(
-		:
-		:
-	)
-	printf '\e[?1049h\e?7l\e[2J\e[3;%sr\e[999H' "$((LINES - 1))"
-}
-
-resize() {
-	refresh
-
-	printf '\e7\e[?25l\e[H'
-	_wrap "$file"
-	printf '\e[999H\e[?25h'
-}
-
-_wrap() {
-	wrap "$COLUMNS" <"$1"
-}
-
-main() {
-	refresh
-
-	file="$1"
-	resize
-
-	trap resize WINCH
-	trap cleanup INT
-
-	while :; do
-		:
-	done
-}
-
-if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
-	main "$@"
-fi
-- 
cgit 1.4.1-21-gabe81