Loading Documents/bin/_vagrant-clean +5 −0 Original line number Diff line number Diff line #!/usr/bin/env python3 # pylint: disable=invalid-name """Remove duplicate versions of local Vagrant base boxes.""" # pylint: disable=import-error from sh import vagrant # pylint: disable=no-name-in-module from parse import parse Loading Documents/bin/_vagrant-update +5 −0 Original line number Diff line number Diff line #!/usr/bin/env python3 # pylint: disable=invalid-name """Update local Vagrant base boxes.""" # pylint: disable=import-error from sh import vagrant # pylint: disable=no-name-in-module from parse import parse Loading Documents/bin/urldecode +3 −2 Original line number Diff line number Diff line #!/usr/bin/env python3 from fileinput import input """Decode url-encoded input.""" import fileinput from urllib.parse import unquote_plus as unquote if __name__ == "__main__": for line in input(): for line in fileinput.input(): print(unquote(line.strip())) Documents/bin/urlencode +3 −2 Original line number Diff line number Diff line #!/usr/bin/env python3 from fileinput import input """URL encode input.""" import fileinput from urllib.parse import quote_plus as quote if __name__ == "__main__": for line in input(): for line in fileinput.input(): print(quote(line.strip())) Documents/bin/vagrant 0 → 120000 +1 −0 Original line number Diff line number Diff line wrapper No newline at end of file Loading
Documents/bin/_vagrant-clean +5 −0 Original line number Diff line number Diff line #!/usr/bin/env python3 # pylint: disable=invalid-name """Remove duplicate versions of local Vagrant base boxes.""" # pylint: disable=import-error from sh import vagrant # pylint: disable=no-name-in-module from parse import parse Loading
Documents/bin/_vagrant-update +5 −0 Original line number Diff line number Diff line #!/usr/bin/env python3 # pylint: disable=invalid-name """Update local Vagrant base boxes.""" # pylint: disable=import-error from sh import vagrant # pylint: disable=no-name-in-module from parse import parse Loading
Documents/bin/urldecode +3 −2 Original line number Diff line number Diff line #!/usr/bin/env python3 from fileinput import input """Decode url-encoded input.""" import fileinput from urllib.parse import unquote_plus as unquote if __name__ == "__main__": for line in input(): for line in fileinput.input(): print(unquote(line.strip()))
Documents/bin/urlencode +3 −2 Original line number Diff line number Diff line #!/usr/bin/env python3 from fileinput import input """URL encode input.""" import fileinput from urllib.parse import quote_plus as quote if __name__ == "__main__": for line in input(): for line in fileinput.input(): print(quote(line.strip()))
Documents/bin/vagrant 0 → 120000 +1 −0 Original line number Diff line number Diff line wrapper No newline at end of file