I expected that if i edited boards.txt and deleted the uno and yun boards, and restarted 1.6.5 arduino environment, that those choices would dissapear from the boards menu. But they remain.
Similarly editing in a new yun variation did not add a board to the menu. I tried adding text lines for the geeetech iduino yun shield on atmega2560, but saw no new board choice after restart. Help.