Sto cercando un modo per scaricare l'input nel mio terminale da un file, ma quando viene raggiunto EOF desidero tornare alla mia tastiera. C'è un modo per farlo con Bash (o qualsiasi altra shell * nix comunemente disponibile)?Reindirizzamento temporaneo dell'ingresso in Bash
Dettagli: Sto eseguendo il debug di un programma server che esegue un fork per avviare un processo figlio. Ogni volta che avvio una sessione di debugging con gdb devo digitare il comando set-fork-mode child. Vorrei utilizzare una sorta di reindirizzamento dell'input per avere questo pre-compilato. Ci sono anche altri usi a cui posso pensare, quindi preferirei una soluzione generale - da qui la ragione per cui questa domanda è non su gdb.
Soluzione: start-server.sh
#!/bin/bash
cat run-server.txt - |/bin/bash
run-Server.txt
gdb ./Server
set follow-fork-mode child
run
+1 Questo spiega quando uso "| vi -" penso. L'avevo trovato da qualche parte e non avevo mai visto cosa significasse *. Questo potrebbe essere il biglietto. –
È confuso quando si usano parentesi angolari come se fossero virgolette, poiché vengono utilizzate per il reindirizzamento. –
Dennis: Questo è un buon punto. Li cambierò. –