search
Windows 11 Startemenü
Web Suche deaktivieren im Windows 11 Startmenü
Powershell
Set-ItemProperty -Path HKCU:\Software\Microsoft\Windows\CurrentVersion\Search -Name "BingSearchEnabled" -Value 1 -Type DWord
WordPress home_url
Im clean-black Theme von WordPress hat sich IMO ein Fehler eingeschlichen. Der hat die Suchfunktion in meinem Blog etwas zerstört. Manchmal ging es, manchmal nicht. Und die Ergebnis URL hat zwei Schrägstriche, //, enthalten.
Ich lasse jetzt einfach Mal einen Schrägstrich weniger rausschreiben.
Aber genau so gut möglich, dass einfach die Variable irgendwo falsch definiert ist…
$ diff wp-content/themes/clean-black/searchform.php wp-content/themes/clean-black/searchform.php.backup
2c2
< <form method="get" id="searchform" action="<?php echo esc_url(home_url('')); ?>/">
---
> <form method="get" id="searchform" action="<?php echo esc_url(home_url('/')); ?>/">
10c10
< </div>
Bash: Variablen Bearbeiten
Die Bash kann einiges mit Variablen anstellen, was man in vielen Scripten relativ kompliziert gelöst sieht.
Ein Beispiel, das in vielen Scripten vorkommt: Eine Ausgabedatei soll genau so heißen wie die Eingabedatei, aber eine andere Erweiterung haben.
A="test.txt"
B="${A%%.txt}.csv"
Was steht jetzt in Variable B?
echo $B test.csv
Wie funktioniert das?
Mit dem ‚%‘-Operator kann man von einer Variable Zeichen vom Ende her löschen.
Mit ‚%%‘ werden auch mehrere Vorkommen der Variable vom Ende her gelöscht.
Vom Anfang her löschen geht mit ‚#‘
Ersetzen ähnlich wie mit sed geht über den ‚/‘-Operator, ‚^‘ und ‚,‘ machen Groß- bzw. Kleinbuchstaben.
Schöne Beispiele dazu finden sich im Web z.B. beim Linuxmagazin.
Näheres dazu ist unter dem Suchbegriff „Parameter Expansion“ zu finden. Auch in der Manpage von bash.