Oron Shagrir

17 papers Journal 16
YearRankTypeTitle / Venue / Authors
2020 J jnl
Synth.
Oron Shagrir
2019 J jnl
Commun. ACM
B. Jack Copeland, Oron Shagrir
2018 J jnl
Minds Mach.
Oron Shagrir
2017 ch.
The Turing Guide
Jack Copeland, Oron Shagrir, Mark D. Sprevak
2016 J jnl
Commun. ACM
B. Jack Copeland, Eli Dresner, Diane Proudfoot, Oron Shagrir
2015 J jnl
Top. Cogn. Sci.
William Bechtel, Oron Shagrir
2012 J jnl
Minds Mach.
Oron Shagrir
2012 J jnl
Nat. Comput.
Oron Shagrir
2011 J jnl
Minds Mach.
B. Jack Copeland, Oron Shagrir
2007 J jnl
Minds Mach.
B. Jack Copeland, Oron Shagrir
2006 J jnl
Synth.
Oron Shagrir
2004 J jnl
Theor. Comput. Sci.
Oron Shagrir
2003 J jnl
Minds Mach.
Oron Shagrir, Itamar Pitowsky
2002 J jnl
Minds Mach.
Oron Shagrir
1998 J jnl
Synth.
Oron Shagrir
1997 J jnl
Minds Mach.
Oron Shagrir
1992 J jnl
Int. J. Neural Syst.
Oron Shagrir
docker-push.sh
← Index docker-push.sh bash
#!/bin/bash

set -e

REGISTRY_USER="pstirparo"
IMAGE_NAME="redb"
TAG=${1:-"latest"}

echo "Tagging and pushing redb:$TAG to Docker Hub..."

# Tag for Docker Hub
docker tag redb:$TAG $REGISTRY_USER/$IMAGE_NAME:$TAG

# Push to Docker Hub
docker push $REGISTRY_USER/$IMAGE_NAME:$TAG

echo "✅ Successfully pushed $REGISTRY_USER/$IMAGE_NAME:$TAG"
echo ""
echo "To pull on VPS:"
echo "  docker pull $REGISTRY_USER/$IMAGE_NAME:$TAG"