<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://wiki.pushmindstack.com/lib/exe/css.php?s=feed" type="text/css"?>
<rss version="2.0">
    <channel xmlns:g="http://base.google.com/ns/1.0">
        <title>PushMindStack - tools:wsl</title>
        <description></description>
        <link>https://wiki.pushmindstack.com/</link>
        <lastBuildDate>Thu, 30 Apr 2026 19:02:26 +0000</lastBuildDate>
        <generator>FeedCreator 1.8</generator>
        <image>
            <url>https://wiki.pushmindstack.com/_media/wiki/dokuwiki.svg</url>
            <title>PushMindStack</title>
            <link>https://wiki.pushmindstack.com/</link>
        </image>
        <item>
            <title>Reverse-i-search (Ctrl + R) is very slow</title>
            <link>https://wiki.pushmindstack.com/tools/wsl/230504</link>
            <description>Reverse-i-search (Ctrl + R) is very slow

Solution

	*  Run wsl distribution and add the following to /etc/wsl.conf. 

	*  Open Windows terminal and run wsl -l to get the name of the distribution used.
	*  Run wslconfig /t distribution name to make the configuration take effect (This may take a little time).</description>
            <author>anonymous@undisclosed.example.com (Anonymous)</author>
            <pubDate>Wed, 06 Mar 2024 14:58:23 +0000</pubDate>
        </item>
    </channel>
</rss>
