Skip to content

Instantly share code, notes, and snippets.

#!/bin/bash
# the source: http://serverfault.com/questions/515833/how-to-remove-private-key-password-from-pkcs12-container
if [ $# -ne 2 ]
then
echo "Usage: `basename $0` YourPKCSFile YourPKCSPassword"
exit $E_BADARGS
fi
@5nizza
5nizza / smt2.vim
Created September 28, 2013 18:44
Slightly modified version of Roberto Vigo's smt2 syntax file for vim.
" Vim syntax file
" Language: SMT-LIB
" Maintainer: Roberto Vigo
" Latest Revision: 23 Jan 2012
if exists("b:current_syntax")
finish
endif
" Keywords