Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
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 !
Vai offline con l'app Player FM !
HPR4353: diff and patch
Manage episode 475936040 series 108988
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
4377 episodi
Manage episode 475936040 series 108988
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
4377 episodi
Tất cả các tập
×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.