From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
In-Reply-To: <a98d5b0dd60db3af3f815f68bbc9e3a2@mule>
References: <4AE7714E-C18F-4897-ACC1-4F8D35C858AE@ar.aichi-u.ac.jp>
	<2F96B09F-7524-473A-B883-9A7B7DD09978@ar.aichi-u.ac.jp>
	<eb60c30ea8e2c07e6f82ddc88688267c@mule>
	<b1f8f6576fac9c407b17c6c169b9d3cd@mule>
	<CAFSF3XNOPXPA32hn=wr8ENKZnFXKVrFvXmCR6dGr=H+c=cuNVw@mail.gmail.com>
	<16d44a618c1c80e6486ead964a11822a@mule>
	<a98d5b0dd60db3af3f815f68bbc9e3a2@mule>
Date: Sun,  3 Jan 2016 22:40:02 +0100
Message-ID: <CAFSF3XPiVbtCf9yDsA19Ub9cwp6y-qtP7F44wdhPmyWzYyABxg@mail.gmail.com>
From: hiro <23hiro@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [9fans] bug or feature ? --- ip/ping -6
Topicbox-Message-UUID: 7df6243a-ead9-11e9-9d60-3106f5b1d025

your ipv4 "embedding" doesn't need to be part of the ping tool. it's
not commonly used anyway.
allowing the ping tool to do dns lookups on the other hand are a
common convenience.