Systeminställningar/Tangentbord var ju bara det första tipset, när vi inte hade en aning om vad du faktiskt ville göra.
Nu när vi vet lite mer, så blir mitt nästa tips BetterTouchTool. Där kan du programmera det mesta.
Men som sagt, det går att komma åt F13 osv även i Systeminställningarna.
Njae, inte för alla. Se mer här. F14&F15 är nog de svåraste tangenterna att ändra på.
För att mappa om tangenter, inkl F-tangenterna så är det Karabiner-Elements som gäller. Min config: CapsLock->delete_or_backspace, F5->F5, F6->F6. Detta gör att F5/6 uppfattas som just de tangenterna i program, medans resterande F1-F12 justerar ljud, ljus osv.
För att få saker gjort med tangentbordet så använder jag Keyboard Maestro ($36).
Har +100 macron, tex öppnar F6 en mapp jag ofta vill in i, F8 startar ett skrip som växlar Blåtand av/på, "dd,," skriver ut aktuellt datum.
⏏-knappen matar ut minneskort via ett skript.
Men mest har jag textersättningar så att adr,, skriver ut min adress, och så vidare för mailadresser och telefonnummer.
För den som vill göra det med kod eller i terminalen verkar det här vara något att utgå ifrån.