AYUDA! Compartir internet

[Judokaito]

Muy buenas a todos, Tengo un problema con Gnome3 (debian8), ya que no me da la opción en red cableada < IPV4 < compartir con otros dispositivos, esta ultima opción. Necesito compartir internet por cable a mi portátil (Arch), porque al instalarle el kernel linux-libre se le ha borrado el firmware de la tarjeta wifi, y necesito internet para instalarlo.
   Necesito instalar esa "opción", puede que me falte algún paquete de red, no lo sé pero toda ayuda es valida!
   Y si no, os agradecería mucho que me ayudaseis a crear la red por terminal.

Un saludo compañeros y gracias de antemano!

[[Arg] $triker;]

...no lo sé pero toda ayuda es valida!

No habría publicado de no ser por eso, pero dudo que te sirva.

Yo uso VirtualWifiRouter (un programa de terceros). No lo probé en otro SO que no sea Windows 7.
Pero eso lo hago sólo porque la herramienta de redes ad hoc de Windows 7 predeterminada no funciona así que fijate a ver si anda.

[Judokaito]

Gracias por tu aporte EagleStrike, probare ese programa o ya de paso programas de ese estilo a ver si me funcionan. La verdad esque es raro lo de gnome porque antes de reinstalar debian si que tenia esa opcion, ha sido reinstalar el S.O. y desaparece.
   Probare un programa por el estilo y avisare, gracias!