Skip to content

Instantly share code, notes, and snippets.

#!/usr/bin/env python
# coding=utf-8
## Converte ficheiro JSON com os contratos do base no dados.gov.pt
## para um formato válido
## Não fica ainda totalmente de acordo com o Open Contracting Data Standard
## https://standard.open-contracting.org/latest/en/
## porque não inclui os metadados na base, apenas os registos
## Problema com ficheiro original é que tem uma linha de json valido para cada contrato
## Não é JSON valido no seu conjunto

Keybase proof

I hereby claim:

  • I am luispfonseca on github.
  • I am luispfonseca (https://keybase.io/luispfonseca) on keybase.
  • I have a public key ASCoaXssTsJs28YqahvPZDEuhSg2mopLdYtR8NFthZNd_go

To claim this, I am signing this object:

@luispfonseca
luispfonseca / private_fork.md
Created August 17, 2018 15:53 — forked from 0xjac/private_fork.md
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

@luispfonseca
luispfonseca / gitBash_windows.md
Created March 13, 2018 12:34 — forked from evanwill/gitBash_windows.md
how to add more utilities to git bash for windows, wget, make

How to add more to Git Bash on Windows

Git for Windows is bundled with "Git Bash" terminal which is incredibly handy for unix-like commands on a windows machine. It is missing a few standard linux utilities, but it is easy to add ones that have a windows binary available. (Note: a portable alternative is Cmder, the full version comes bundled with Git Bash, notes here.)

The basic idea is that C:\Program Files\Git\mingw64\ is your / directory according to Git Bash (note: depending on how you installed it, the directory might be different. from the start menu, right click on the Git Bash icon and open file location. It might be something like C:\Users\name\AppData\Local\Programs\Git, the mingw64 in this directory is your root). If you go to that directory, you will find the typical linux root folder structure (bin, etc, lib and so on). If you are missing a utility, such as wget, track down a binary for