Mandriva ( formerly named Mandrake Linux ) is a Linux distribution . Mandriva Linux ( formerly Mandrakelinux or Mandrake Linux ) is a French Linux distribution distributed by Mandriva ( formerly Mandrakesoft ) .