From 9b817e83009b8791223d576558ae727d271ca157 Mon Sep 17 00:00:00 2001 From: Scott Baker Date: Mon, 20 Nov 2023 11:06:13 -0800 Subject: [PATCH] Remove an old function we don't use any more --- dool | 8 -------- 1 file changed, 8 deletions(-) diff --git a/dool b/dool index 1ec15d3..712f720 100755 --- a/dool +++ b/dool @@ -1785,14 +1785,6 @@ def ticks(): if l[0] == 'btime': return time.time() - int(l[1]) -def improve(devname): - "Improve a device name" - if devname.startswith('/dev/mapper/'): - devname = devname.split('/')[3] - elif devname.startswith('/dev/'): - devname = devname.split('/')[2] - return devname - def dopen(filename): "Open a file for reuse, if already opened, return file descriptor" global fds