
Piped Input
Reported by Andrew Otto | January 17th, 2011 @ 04:58 PM
What I did: echo "hi" | kod
What I expected to happen: A new kod window to open with the text 'hi'.
What actually happened: Kod crashed:
$ echo "hi" | kod
2011-01-17 10:56:29.662 kod[66857:903] W [src/kod_helper.m:341] NSInvalidReceivePortException: connection went invalid while waiting for a reply
0 CoreFoundation 0x00007fff83ff27b4 __exceptionPreprocess + 180
1 libobjc.A.dylib 0x00007fff800ef0f3 objc_exception_throw + 45
2 CoreFoundation 0x00007fff83ff25d7 +[NSException raise:format:arguments:] + 103
3 CoreFoundation 0x00007fff83ff2564 +[NSException raise:format:] + 148
4 Foundation 0x00007fff80c380f6 -[NSConnection sendInvocation:internal:] + 4355
5 CoreFoundation 0x00007fff83fc498c ___forwarding___ + 860
6 CoreFoundation 0x00007fff83fc0a68 _CF_forwarding_prep_0 + 232
7 kod 0x00000001000025ac -[KCLIProgram openNewDocumentWithStdin] + 347
8 kod 0x000000010000282f main + 177
9 kod 0x00000001000015c4 start + 52
Version of Kod: kod version 0.0.3
Comments and changes to this ticket
-
Andrew Otto January 17th, 2011 @ 04:59 PM
- Tag set to cli pipe input redirection
-
Andrew Otto January 17th, 2011 @ 05:00 PM
- Tag changed from cli pipe input redirection to cli, input, pipe, redirection
-
-
Kaushal KUMAR April 13th, 2022 @ 06:12 PM
A piped input should be connected to the relavant piped output stream; the piped input stream then provides whatever data bytes are written to the piped output stream. Hope it works. Do refer https://meethamango.com/
-
-
surin May 29th, 2022 @ 07:30 AM
อยากรวยต้องรู้ สัญลักษณ์ในเกม Pg Slot เรื่องเกี่ยวกับการคว้าชัยชิงรางวัลก้อนโตจากเกมสล็อตออนไลน์กับทางค่าย PG SLOT เป็นสิ่งที่นักพนันคนใหม่คาดหมายว่าจำเป็นที่จะต้องนำเกมมาให้น่าเล่นมากมาย
-
Greg Reynolds November 8th, 2022 @ 11:07 AM
Your sharing is quite fascinating, and I've been idle mining empire playing this game a lot lately because it's so appealing. You should give it a shot.
-
เเอด63 March 9th, 2023 @ 12:20 PM
เว็บตรง Pgslot63 pgslot เว็บคาสิโนออนไลน์สำหรับคนฉลาดเลือก เนื่องจากว่าเป็นการลงทุนที่ให้ คุณใช้งบประมาณในการเริ่มต้นที่ต่ำที่สุดแต่สามารถคว้าเงินรางวัลได้ไม่ต่างจากการลงทุนออนไลน์ชนิดอื่น โดยคุณสามารถเลือกลงทุนทั้งในเกมสล็อตออนไลน์ pg slot เว็บตรง ที่มีเงินเพียง 1 บาทก็เริ่มต้นเล่นได้https://pgslot63.bet/ และมี pg slot game โอกาสคว้าเงินรางวัลได้หลายเท่าตัวจากยอดเดิมพัน pgslot
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
A text editor for Mac OS X