Artwork

Contenuto fornito da HPR Volunteer and Hacker Public Radio. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da HPR Volunteer and Hacker Public Radio o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.
Player FM - App Podcast
Vai offline con l'app Player FM !

HPR4353: diff and patch

 
Condividi
 

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on December 04, 2025 14:13 (14d ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Manage episode 475938606 series 2795599
Contenuto fornito da HPR Volunteer and Hacker Public Radio. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da HPR Volunteer and Hacker Public Radio o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.

This show has been flagged as Clean by the host.

Make a diff:

$ diff --unified --new-file --recursive original/ my-revision/ > my.patch

Send my.patch to somebody so they can use it as input for the patch command:

$ patch --strip 0 < my.patch

Provide feedback on this episode.

  continue reading

116 episodi

Artwork
iconCondividi
 

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on December 04, 2025 14:13 (14d ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Manage episode 475938606 series 2795599
Contenuto fornito da HPR Volunteer and Hacker Public Radio. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da HPR Volunteer and Hacker Public Radio o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.

This show has been flagged as Clean by the host.

Make a diff:

$ diff --unified --new-file --recursive original/ my-revision/ > my.patch

Send my.patch to somebody so they can use it as input for the patch command:

$ patch --strip 0 < my.patch

Provide feedback on this episode.

  continue reading

116 episodi

Tutti gli episodi

×
 
Loading …

Benvenuto su Player FM!

Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.

 

Guida rapida

Ascolta questo spettacolo mentre esplori
Riproduci