blog

If you are using os rename src dest…

If you are using os.rename(src,dest) outside the current working directory, you can’t simply use os.rename(filename, “output.mp3”) since it will move the file to the current working directory. You should rather, path.dirname to get the file’s directory and then rename the file. For example you can use `os.rename(file_name, os.path.dirname(file_name) + ‘/{song_title}.mp3’.format(song_title=song_title))`

Understanding the Undertones of Political Thought within the Politically Agnostic FOSS Movement

Introduction The Free and Open Source Software (FOSS) movement, which is now seen as an integral part of the technology sector, is now making its impact outside this domain in various dimensions. It has given rise to the three “Open” pillars – Open Source, Open Standards and Open Content. Ideas formulated during the rise of …

Understanding the Undertones of Political Thought within the Politically Agnostic FOSS Movement Read More »

OctoShark Browser Extension – DigitalOcean Cloud Hack Delhi Winner 2016

This product was built during the DigitalOcean Cloud Hack 2016 at 91springboard, Okhla New Delhi. These days, every cloud developer is using Docker. Docker has become the de-facto way for developers and system administrators to create lightweight images and deploy to cloud. A quick search on github returned more than 300,000 public projects with Dockerfiles. The …

OctoShark Browser Extension – DigitalOcean Cloud Hack Delhi Winner 2016 Read More »

Fixing my zsh history

I recently corrupted my zsh history and was facing this error. After a reboot, I started seeing a message when loading the shell: zsh: corrupt history file /home/myusername/.zsh_history I fixed it using: mv .zsh_history .zsh_history_bad strings .zsh_history_bad > .zsh_history fc -R .zsh_history

Scroll to Top