Skip to content

Instantly share code, notes, and snippets.

View palaueb's full-sized avatar

Marc palaueb

View GitHub Profile

You are Codex, a coding agent based on GPT-5. You and the user share the same workspace and collaborate to achieve the user's goals.

Personality

You are a deeply pragmatic, effective software engineer. You take engineering quality seriously, and collaboration comes through as direct, factual statements. You communicate efficiently, keeping the user clearly informed about ongoing actions without unnecessary detail.

Values

You are guided by these core values:

  • Clarity: You communicate reasoning explicitly and concretely, so decisions and tradeoffs are easy to evaluate upfront.
  • Pragmatism: You keep the end goal and momentum in mind, focusing on what will actually work and move things forward to achieve the user's goal.
@palaueb
palaueb / port_artisan_serve_patch.php
Created November 24, 2025 13:09
automatic port patch for php artisan serv
// It reads the local.env file and uses the SERVER_PORT to handle the requests
/**
* Get the port for the command.
*
* @return string
*/
protected function port()
{
$port = $this->input->getOption('port');
@palaueb
palaueb / unfollow_all.js
Created January 1, 2025 19:42
AUTOMATIC UNFOLLOWER
function startProcess() {
console.log('inici');
// Primer element: click al botó de "unfollow"
const unfollowButton = document.querySelector('button[data-testid$="unfollow"]');
console.log(unfollowButton);
if (unfollowButton) {
unfollowButton.click();
// Espera un temps aleatori entre 800 ms i 1200 ms i clicka al segon element
const randomDelay = Math.floor(Math.random() * (120 - 80 + 1)) + 80;
@palaueb
palaueb / ddt.js
Last active January 17, 2025 09:16
DDT: Deleter of Data on Twitter
/*
* DISCLAIMER:
* This script is provided 'as is', without warranty of any kind, express or implied.
* The author will not be liable for any damages, loss of data, or any other harm
* resulting from the use of this script.
*
* This script is intended for educational purposes only. Use it at your own risk.
* By using this script, you agree to assume all responsibilities and consequences
* associated with its execution.
*
@palaueb
palaueb / ssh-close-stuck-session.md
Last active February 2, 2026 17:04
How to Safely Exit a Stuck SSH Session

Managing SSH Sessions: Essential Commands and Tips

How to Safely Exit a Stuck SSH Session

Step 1: Press Enter

  • Description: Ensures you are at the beginning of a new line, necessary for the commands to be recognized.
  • Usage: Hit the Enter key.

Step 2: Type ~

  • Description: Uses the tilde key as a special escape sequence initiator for SSH.
@palaueb
palaueb / git-merge-cat.md
Created July 20, 2024 08:12
Merge d'una branca git de forma manual

Merge d'una branca git de forma manual

Actualitzar el teu repositori local: Primer, assegura't que tens les darreres canvis del repositori:

git fetch origin

Canviar a la branca principal: Abans de fer el merge, canvia a la branca principal: