A list of useful commands for the ffmpeg command line tool.
Download FFmpeg: https://www.ffmpeg.org/download.html
Full documentation: https://www.ffmpeg.org/ffmpeg.html
./tokenizer_checklist.chk 50 | |
./tokenizer.model 499723 | |
./7B/checklist.chk 100 | |
./7B/consolidated.00.pth 13476939516 | |
./7B/params.json 101 | |
./13B/checklist.chk 154 | |
./13B/consolidated.00.pth 13016334699 | |
./13B/consolidated.01.pth 13016334699 | |
./13B/params.json 101 | |
./30B/checklist.chk 262 |
A list of useful commands for the ffmpeg command line tool.
Download FFmpeg: https://www.ffmpeg.org/download.html
Full documentation: https://www.ffmpeg.org/ffmpeg.html
#!/bin/bash | |
echo "Cleaning up..." | |
#rm 00-index.tar.gz | |
mkdir -p package | |
echo "Downloading index..." | |
wget -c http://hackage.haskell.org/packages/archive/00-index.tar.gz | |
for splitpk in `tar tf 00-index.tar.gz | cut -d/ -f 1,2`; do | |
pk=`echo $splitpk | sed 's|/|-|'` | |
name=$pk.tar.gz |
Oops! I accidentally deleted a local git branch, and I haven't pushed it to a remote server yet. The branch has several important commits, and it hasn't been merged with any other branches yet. How do I find the missing branch?
$ git fsck --full --no-reflogs --unreachable --lost-found
unreachable tree 4a407b1b09e0d8a16be70aa1547332432a698e18
unreachable tree 5040d8cf08c78119e66b9a3f8c4b61a240229259
unreachable tree 60c0ce61b040f5e604850f747f525e88043dae12
unreachable tree f080522d06b9853a2f18eeeb898724da4af7aed9
import sys | |
import re | |
class mysql_to_mssql_converter: | |
""" | |
Python script for converting MySQL dump into MSSQL compatible scripts | |
Based on my project, I know the following points need to be converted | |
1. ` need to be removed | |
2. ENGINE=InnoDB etc need to be removed | |
3. int(size), (size) is not supported for int, need to be removed. | |
4. AUTO_INCREMENT need to be changed to IDENTITY(1,1) |
The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Sun, 16 Dec 2012 07:15:00 GMT till Mon, 16 Dec 2013 07:15:00 GMT.
Only first 1000 GitHub users according to the count of followers are taken. This is because of limitations of GitHub search. Sorting algo in pseudocode:
githubUsers
.filter((user) -> user.followers > 228)