Go offline with the Player FM app!
HPR4353: diff and patch
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on December 04, 2025 14:13 ()
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
This show has been flagged as Clean by the host.
Make a diff:
$ diff --unified --new-file --recursive original/ my-revision/ > my.patchSend my.patch to somebody so they can use it as input for the patch command:
$ patch --strip 0 < my.patch116 episodes
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on December 04, 2025 14:13 ()
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
This show has been flagged as Clean by the host.
Make a diff:
$ diff --unified --new-file --recursive original/ my-revision/ > my.patchSend my.patch to somebody so they can use it as input for the patch command:
$ patch --strip 0 < my.patch116 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.