Install Redis on Windows without enabling WSL

The default installation instructions of Redis on Windows 11 asks one to enable WSL (Windows Subsystem for Linux). But an alternate approach exists if you do not/ cannot install WSL. You can head to https://github.com/microsoftarchive/redis/releases and download the compiled binaries there and install Redis. (NOTE: during installation change the port from default 6379 to 16379. …

Solved: unable to disable screen pinning

I’m using MIUI I occasionally press the screen pinning A simple solution was to not click the Got it button or any other buttons, but press the power button so that the screen locks. On unlocking, the screen pinning option is not presented! Hope this helps reduce your frustration… In case you pin the screen, …

SL4A on Andriod 5.1.1 or more

Head here: https://github.com/kuri65536/python-for-android/blob/master/README.md Get the apks for both the SL4A and Python. Install them and test it Note: The SL4A project was moved from Google code to Github I tried installing the interpreter from within the SL4A, but it did not install properly Installation was tested by running a sample Python script to backup the call log

Solved : Remote control of SL4A from computer

I setup the remote control SL4A environment. C:\Windows\system32>set AP_PORT=9999 C:\Windows\system32>adb forward tcp:9999 tcp:55407 When trying to import android from the command line python interface I got this error C:\Windows\system32>python Python 2.7.3 (default, Apr 10 2012, 23:31:26) [MSC v.1500 32 bit (Intel)] on win 32 Type “help”, “copyright”, “credits” or “license” for more information. >>> import …

[Solved]: Importing huge DB

When importing a file using bigdump.php on my Ubuntu, I got this error : Can’t open table.sql for import Please, check that your dump file name contains only alphanumerical characters, and rename it accordingly, for example: table.sql. Or, specify $filename in bigdump.php with the full filename. Or, you have to upload the table.sql to the …

[SOLVED] gtk-recordMyDesktop, no sound – on Ubuntu 10.04

I am on Ubuntu 10.04 I installed gtk-recordmydesktop and recorded the screen. I could not record the audio though. I followed this link : http://ubuntuforums.org/showthread.php?t=1428157&page=2 I set my Sound preferences > Hardware SetProfile = Analog Stereo Output (it was earlier Analog stereo duplex) It Works!

Solved : 404 error while changing Permalink Settings in WordPress on Ubuntu + Apache2

I am using Ubuntu 11.04 and LAMP (Apache2) I did a fresh installation on WordPress and tried changing the Permalink settings from default to Post name option. But when I navigated to the posts, I used to get a 404 – Page not found error Doing this solved the problem. Making sure that the Mod_rewrite is …

Solved : Failed to save main TiddlyWiki file. Your changes have not been saved

This usually means that the disk is full. Try deleting/moving some files from the drive and then resave the Wiki! This however does not revive the Wiki though. So have some backup measures.