Compartir internet por cable, Ayuda!

[Judokaito]

Saludos compañeros, tengo una urgencia, necesito compartir internet por cable desde un pc, Debian 8 Gnome3, hacia un portátil, Arch, es urgente ya que al cambiar de kernel Linux a Linux-libre en el portátil, se le borro el driver wifi y necesito instalarlo lo antes posible.
   Me acuerdo que tenia una opción en gnome3 en ajustes de la interfaz > internet por cable > IPV4 > compartir con otros dispositivos, pero ya no me sale la opción, solo dhcp y manual. Os agradecería muchísimo si me aportáis algún script que me solucione el problema o algún programa.