# HG changeset patch
# User hackbot
# Date 1622252271 0
# Node ID b8db5d20838b8d26d018ed08d7ebe5961e148073
# Parent  8f289972a40fd242057c403b427d8bc344148899
<cd> bashify /hackenv/bin/ping

diff -r 8f289972a40f -r b8db5d20838b bin/ping
--- a/bin/ping	Sat May 29 01:37:49 2021 +0000
+++ b/bin/ping	Sat May 29 01:37:51 2021 +0000
@@ -1,1 +1,2 @@
+#!/bin/bash
 echo pong