Skip to content

Instantly share code, notes, and snippets.

View rbatty19's full-sized avatar
🏠

Roberto Batty rbatty19

🏠
35 followers · 18 following
  • Globant
  • Cartagena, Colombia
  • 02:04 (UTC -05:00)
View GitHub Profile
@rbatty19
rbatty19 / config_vscode.json
Last active May 15, 2019 12:15
Configuraciones Personalizadas
// Mia Actual - current mine (abajo está la general)
{
"terminal.integrated.shell.windows": "C:\\WINDOWS\\System32\\cmd.exe",
/*Git Bash*/
//"terminal.integrated.shell.windows": "C:\\Program Files\\Git\\bin\\bash.exe",
"files.autoSave": "afterDelay",
"workbench.colorTheme": "Solarized Light",
"workbench.iconTheme": "material-icon-theme",
"typescript.updateImportsOnFileMove.enabled": "always",
@rbatty19
rbatty19 / cloudSettings
Last active July 27, 2020 19:51
Visual Studio Code Settings Sync Gist
{"lastUpload":"2020-07-27T19:51:12.998Z","extensionVersion":"v3.4.3"}
@rbatty19
rbatty19 / resMsg.json
Last active April 3, 2019 21:22
Dynamic Message
{
"found": "Encontrado",
"file": "Archivo",
"please_login": "Ingrese aquí",
"publications": "Publicaciones",
"publication": "Publicacion",
"summary": "Resumen",
"chat": "Chat",
"chats": "Mensajes",
"post": "Publicar",
@rbatty19
rbatty19 / urls.json
Created December 20, 2018 03:37
links_apis_for_test
{
"repos":"https://api.github.com/users/rober19/repos?per_page=200"
}
@rbatty19
rbatty19 / JSON_music.json
Last active January 25, 2019 13:30
Music Data link_groove: https://ccv1privacyexport.blob.core.windows.net/export-musictype/62276f63-82ee-4bce-9394-2d22abdb0eb3.json?sv=2016-05-31&sr=b&sig=a819L2C5tCjT99Zoc3lxXfiHbHznkHafnkriui1Hpl4%3D&se=2019-01-26T13%3A25%3A08Z&sp=r
{
"UserVersion": "555",
"ExportGenerationDate": "2019-01-25T13:25:08",
"UserData": {
"CollectionCreationDate": "2017-06-10T03:23:23",
"OneDriveFirstSyncDate": "2019-01-24T18:24:47",
"AgeGroup": "Adult",
"Locale": "en-US"
},
@rbatty19
rbatty19 / actividad_sabado_30_marzo
Last active April 27, 2019 18:16
SQL_SERVER_NOTES
CREATE TABLE investigadores (
codigo int IDENTITY primary key,
nombre varchar(30),
ciudad varchar(30),
telefono varchar(30)
);
CREATE TABLE asignaciones (
IDAsingacion int IDENTITY primary key,
codigo varchar(3),
@rbatty19
rbatty19 / Parcial-scripts
Last active April 27, 2019 20:10
Base de Datos_ SEM5
a. Generar una consulta agrupando por código y nombre de entidad para determinar cuántos proyectos gestiona y el valor total del presupuesto. Ordenar por Nombre de Entidad.
select count(*) as Cantidad, E.NomEntidad, sum(Presupuesto) as Presupuesto from Proyectos P, Entidades E where P.CodEntidad = E.CodEntidad
group by E.CodEntidad, E.NomEntidad order by E.NomEntidad;
b. Nombre del proyecto, Fecha Inicial, Fecha Final y Presupuesto de los proyectos que financia Colciencias que tengan presupuesto mayor a $500,000,000
select P.NomProyecto, P.FecInicio, P.FecFin, P.Presupuesto from Proyectos P, Entidades E where P.CodEntidad = E.CodEntidad and E.NomEntidad = 'ICFES' and P.Presupuesto > 500000000;
c. Nombre y código de los investigadores de Cartagena que sean investigadores Principales. Ordenar por Nombre de Investigador
@rbatty19
rbatty19 / Windows 10 Optimization Script.ps1
Last active May 26, 2024 19:47
Windows 10 Optimization Script
### Rober19 version
######
# Win10 Optimization Script With Extra GPD Win Tweaks
# Adapted version of https://github.com/Disassembler0/Win10-Initial-Setup-Script by Disassembler <disassembler@dasm.cz>
# Author: BlackDragonBE
# Version: v2.2.1 (2017-12-02)
# Copied from https://www.reddit.com/r/gpdwin/comments/6ipa6c/windows_10_optimization_script_for_gpd_win/
##########
# As a workaround for disabled script execution, run this command (without #) in an elevated PowerShell windows first and choose "all" if you're asked where to apply this:
@rbatty19
rbatty19 / readme.md
Last active March 22, 2023 16:24
My custom zsh themes

YS

ys.zsh-theme

image

ys-requiem.zsh-theme

image

@rbatty19
rbatty19 / InsertMany.md
Created February 19, 2022 02:23
Mongoose Util

Hi, I was working with this entity called Developer:

{
  "name": "TEST NAME",
  "slack_id": "2fj9of3wtestid",
  "email": "person@company.io",
  "slack_image": "...URL..."
}