aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>2020-04-12 13:53:04 +0200
committerJan Nieuwenhuizen <janneke@gnu.org>2020-05-01 08:01:53 +0200
commit9a554a7082b69eaf474e2d19998a482d29035db0 (patch)
treefcecf71711e373ea0eb2356a3fbf950041e96c42 /gnu/packages/idris.scm
parent2676579dc8a930a3bc77d46dd642993cfd870bc6 (diff)
downloadpatches-9a554a7082b69eaf474e2d19998a482d29035db0.tar
patches-9a554a7082b69eaf474e2d19998a482d29035db0.tar.gz
gnu: hurd: Use default QEMU guest IP: 10.0.2.15.
Specifying 10.0.2.77 also works -device rtl8139,netdev=net0 -netdev user,id=net0,hostfwd=tcp:127.0.0.1:2228-10.0.2.77:22 but using this default allows us to use the widely advertised -device rtl8139,netdev=net0 -netdev user,id=net0,hostfwd=tcp:127.0.0.1:2228-:22 * gnu/packages/hurd.scm (hurd-rc-script): Used from (hurd)[inputs]: Use 10.0.2.15; the default QEMU guest IP.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions