| name: Remove old versions of Google App Engine | |
| ##### | |
| # | |
| # Add this file to .github/workflows/delete-old-gae.yml then GitHub Actions will remove old versions of Google App Engine. | |
| # | |
| ##### | |
| on: | |
| workflow_dispatch: |
Instructions for installing zsh plugins, for a variety of plugin managers
antibody: Add <owner>/<repo> to your plugins file. If you use static loading update the sh.
Antigen: Add antigen bundle <owner>/<repo> to your .zshrc.
| # Instructions for 4.14 and cuda 9.1 | |
| # If upgrading from 4.13 and cuda 9.0 | |
| $ sudo apt-get purge --auto-remove libcud* | |
| $ sudo apt-get purge --auto-remove cuda* | |
| $ sudo apt-get purge --auto-remove nvidia* | |
| # also remove the container directory direcotory at /usr/local/cuda-9.0/ | |
| # Important libs required with 4.14.x with Cuda 9.X | |
| $ sudo apt install libelf1 libelf-dev |
| # perform a fresh install of Ubuntu 17.10 | |
| # upgrade the kernel to v4.13.10 | |
| mkdir ~/kernel-v4.13.10 | |
| cd ~/kernel-v4.13.10 | |
| wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13.10/linux-headers-4.13.10-041310_4.13.10-041310.201710270531_all.deb | |
| wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13.10/linux-headers-4.13.10-041310-generic_4.13.10-041310.201710270531_amd64.deb | |
| wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.13.10/linux-image-4.13.10-041310-generic_4.13.10-041310.201710270531_amd64.deb | |
| sudo dpkg -i *.deb |
| #!/bin/bash | |
| FILES=*.wav | |
| for f in $FILES | |
| do | |
| # echo "Processing ${f/.wav/.mp3} file..." | |
| echo "Processing $f file..." | |
| ffmpeg -i "$f" -codec:a libmp3lame -qscale:a 0 "${f/.wav/.mp3}" | |
| # take action on each file. $f store current file name | |
| # cat $f | |
| done |
This notes is written by Sheldon. You can find me with #iOSBySheldon in Github, Youtube, Facebook, etc.
Convert .mov/.MP4 to .gif
As a developer, I feel better to upload a short video when I create the pull request to show other viewers what I did in this PR. I tried .mov format directly got after finishing recording screen using Quicktime, however, gif offers preview in most web pages, and has smaller file size.
This is not limited to developer, anyone has this need can use this method to convert the files.
In this article, I will share some of my experience on installing NVIDIA driver and CUDA on Linux OS. Here I mainly use Ubuntu as example. Comments for CentOS/Fedora are also provided as much as I can.
| # Extracted using: $ unzip -p lib/pycharm.jar com/jetbrains/python/PyBundle.properties | grep -B1 INSP.NAME | grep '^#' | sed 's|Inspection||g' | sed -e 's|#\s\{,1\}|# noinspection |' | |
| # noinspection PyPep8 | |
| # noinspection PyPep8Naming | |
| # noinspection PyTypeChecker | |
| # noinspection PyAbstractClass | |
| # noinspection PyArgumentEqualDefault | |
| # noinspection PyArgumentList | |
| # noinspection PyAssignmentToLoopOrWithParameter | |
| # noinspection PyAttributeOutsideInit |