In bash möchte ich den Dateinamen (und den Pfad zur Datei) für jede Datei vom Typ zurückgeben, .php|.html|.js
die die Zeichenfolge enthält, bei der die Groß- und Kleinschreibung nicht berücksichtigt wird"document.cookie" | "setcookie"
Wie würde ich das machen?