From 7d3dc4f2187817f8b97384af3322283265b6097f Mon Sep 17 00:00:00 2001
From: Smuuf <premavansmuuf@gmail.com>
Date: Wed, 10 Jul 2019 22:38:19 +0200
Subject: [PATCH] Don't store text into readline history if it's same as the
 last one entered.

---
 src/repl/ReadlineDriver.php | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/repl/ReadlineDriver.php b/src/repl/ReadlineDriver.php
index 9f008ec4..6cdbc2a7 100644
--- a/src/repl/ReadlineDriver.php
+++ b/src/repl/ReadlineDriver.php
@@ -4,12 +4,23 @@
 
 class Readline extends \Smuuf\Primi\StrictObject implements IReadlineDriver {
 
+	private $lastItem = '';
+
 	public function readline(string $prompt): string {
 		return readline($prompt);
 	}
 
 	public function readlineAddHistory(string $item): void {
+
+		// Avoid storing the same value again, if it's the same value
+		// as before.
+		if ($this->lastItem === $item) {
+			return;
+		}
+
 		readline_add_history($item);
+		$this->lastItem = $item;
+
 	}
 
 	public function readlineReadHistory(string $path): void {