Wiem, że Ctrl+ Rprzeszukujemy historię poleceń, ale jest to trochę prymitywne. Czy istnieje sposób na wyeksportowanie całej mojej historii poleceń (nie tylko bieżącej sesji terminala, ale pełnej historii) do pliku tekstowego? Mógłbym wtedy użyć edytora tekstu, aby wygodnie go wyszukiwać. Lub jeśli plik historii już istnieje, gdzie on jest?