From 56359f53946306347ef9bb1f8f3c402adb8f8a5b Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Mon, 4 Nov 2019 20:59:30 -0800
Subject: [PATCH] Use /proc/self/fd/0 instead of /dev/fd/0

---
 rcmain.unix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/rcmain.unix b/rcmain.unix
index 42b3be4..1b5d6d2 100644
--- a/rcmain.unix
+++ b/rcmain.unix
@@ -25,9 +25,9 @@ if not if(flag i){
 	if(flag l && test -r $profile) . $profile
 	status=''
 	if(! ~ $#* 0) . $*
-	. -i /dev/fd/0
+	. -i /proc/self/fd/0
 }
-if not if(~ $#* 0) . /dev/fd/0
+if not if(~ $#* 0) . /proc/self/fd/0
 if not{
 	status=''
 	. $*
-- 
2.24.0